perm filename S80.OUT[LET,JMC] blob
sn#556228 filedate 1981-01-09 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00352 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00024 00002 ∂02-Apr-80 1348 JMC
C00025 00003 ∂02-Apr-80 1427 JMC dinner Thursday
C00026 00004 ∂02-Apr-80 1608 JMC
C00027 00005 ∂02-Apr-80 2309 JMC
C00028 00006 ∂03-Apr-80 0950 JMC
C00029 00007 ∂03-Apr-80 1110 JMC
C00030 00008 ∂03-Apr-80 2125 JMC
C00031 00009 ∂04-Apr-80 2153 JMC
C00033 00010 ∂06-Apr-80 1354 JMC
C00034 00011 ∂06-Apr-80 2214 JMC paper
C00035 00012 ∂07-Apr-80 1554 JMC
C00036 00013 ∂08-Apr-80 1639 JMC Haynes and Sabin
C00037 00014 ∂08-Apr-80 1743 JMC
C00038 00015 ∂08-Apr-80 2220 JMC
C00039 00016 ∂08-Apr-80 2322 JMC Goad support
C00040 00017 ∂08-Apr-80 2340 JMC Ma as TA
C00041 00018 ∂09-Apr-80 1224 JMC
C00042 00019 ∂09-Apr-80 1225 JMC
C00043 00020 ∂13-Apr-80 1819 JMC
C00044 00021 ∂14-Apr-80 0857 JMC biography
C00045 00022 ∂15-Apr-80 1308 JMC
C00046 00023 ∂15-Apr-80 1524 JMC
C00047 00024 ∂16-Apr-80 1205 JMC mother
C00049 00025 ∂16-Apr-80 1613 JMC
C00050 00026 ∂16-Apr-80 1805 JMC
C00051 00027 ∂18-Apr-80 1514 JMC letter to Prof Azriel Rosenfeld
C00052 00028 ∂18-Apr-80 1554 JMC
C00054 00029 ∂18-Apr-80 2347 JMC
C00055 00030 ∂20-Apr-80 1535 JMC
C00056 00031 ∂21-Apr-80 1257 JMC
C00057 00032 ∂21-Apr-80 1300 JMC
C00058 00033 ∂22-Apr-80 1325 JMC
C00059 00034 ∂22-Apr-80 1509 JMC
C00060 00035 ∂22-Apr-80 1517 JMC Thanks for SENSES
C00061 00036 ∂23-Apr-80 1426 JMC
C00062 00037 ∂23-Apr-80 1433 JMC
C00063 00038 ∂23-Apr-80 1504 JMC
C00064 00039 ∂23-Apr-80 1611 JMC
C00065 00040 ∂23-Apr-80 1749 JMC
C00066 00041 ∂23-Apr-80 1751 JMC
C00067 00042 ∂23-Apr-80 2307 JMC
C00069 00043 ∂24-Apr-80 1622 JMC
C00070 00044 ∂24-Apr-80 1627 JMC
C00071 00045 ∂24-Apr-80 1632 JMC
C00072 00046 ∂24-Apr-80 1632 JMC
C00073 00047 ∂25-Apr-80 1636 JMC
C00074 00048 ∂25-Apr-80 1647 JMC
C00075 00049 ∂25-Apr-80 1757 JMC
C00076 00050 ∂26-Apr-80 1704 JMC
C00077 00051 ∂26-Apr-80 1705 JMC message to DCL
C00078 00052 ∂26-Apr-80 1730 JMC
C00079 00053 ∂26-Apr-80 2031 JMC cancel
C00080 00054 ∂28-Apr-80 0016 JMC
C00081 00055 ∂28-Apr-80 1630 JMC
C00082 00056 ∂28-Apr-80 1725 JMC report
C00083 00057 ∂28-Apr-80 1726 JMC temporal logic and elephant
C00084 00058 ∂28-Apr-80 2121 JMC new home phone number
C00085 00059 ∂28-Apr-80 2248 JMC imlac
C00086 00060 ∂29-Apr-80 1400 JMC
C00087 00061 ∂29-Apr-80 1524 JMC
C00088 00062 ∂29-Apr-80 1734 JMC reference
C00089 00063 ∂29-Apr-80 1800 JMC
C00090 00064 ∂29-Apr-80 1802 JMC ARPA report
C00091 00065 ∂29-Apr-80 1925 JMC
C00092 00066 ∂01-May-80 0028 JMC
C00093 00067 ∂01-May-80 0029 JMC
C00094 00068 ∂01-May-80 1321 JMC
C00095 00069 ∂01-May-80 1322 JMC
C00096 00070 ∂01-May-80 1325 JMC
C00097 00071 ∂01-May-80 1327 JMC
C00098 00072 ∂01-May-80 1328 JMC
C00099 00073 ∂01-May-80 1417 JMC
C00100 00074 ∂01-May-80 1646 JMC
C00101 00075 ∂01-May-80 2351 JMC
C00102 00076 ∂02-May-80 0915 JMC
C00103 00077 ∂02-May-80 2126 JMC
C00104 00078 ∂03-May-80 1104 JMC
C00105 00079 ∂03-May-80 1346 JMC
C00106 00080 ∂03-May-80 1838 JMC
C00107 00081 ∂04-May-80 0106 JMC
C00108 00082 ∂04-May-80 0107 JMC
C00111 00083 ∂04-May-80 1456 JMC
C00112 00084 ∂04-May-80 1817 JMC
C00113 00085 ∂04-May-80 2321 JMC
C00114 00086 ∂05-May-80 1039 JMC
C00115 00087 ∂05-May-80 1128 JMC
C00116 00088 ∂05-May-80 1644 JMC temporal logic
C00117 00089 ∂06-May-80 1608 JMC
C00118 00090 ∂07-May-80 0929 JMC going through the Wye
C00119 00091 ∂07-May-80 1036 JMC
C00120 00092 ∂07-May-80 1039 JMC
C00121 00093 ∂07-May-80 1138 JMC
C00122 00094 ∂07-May-80 1138 JMC non-monotonic reasoning
C00123 00095 ∂07-May-80 1142 JMC
C00124 00096 ∂07-May-80 1158 JMC
C00125 00097 ∂07-May-80 1202 JMC
C00126 00098 ∂07-May-80 1404 JMC
C00127 00099 ∂07-May-80 1415 JMC skyhooks and juggling
C00129 00100 ∂07-May-80 1529 JMC
C00130 00101 ∂07-May-80 1922 JMC
C00131 00102 ∂07-May-80 1925 JMC
C00132 00103 ∂08-May-80 1415 JMC hotel
C00133 00104 ∂08-May-80 1451 JMC
C00134 00105 ∂08-May-80 1600 JMC stallman
C00135 00106 ∂08-May-80 1630 JMC
C00136 00107 ∂08-May-80 1647 JMC
C00137 00108 ∂08-May-80 1647 JMC
C00138 00109 ∂08-May-80 2110 JMC
C00139 00110 ∂08-May-80 2247 JMC thanks
C00140 00111 ∂08-May-80 2302 JMC pearl.le1
C00141 00112 ∂08-May-80 2308 JMC
C00142 00113 ∂08-May-80 2309 JMC Gabbay et. al. paper
C00143 00114 ∂08-May-80 2316 JMC
C00144 00115 ∂08-May-80 2324 JMC statement on meeting
C00145 00116 ∂12-May-80 1442 JMC
C00147 00117 ∂12-May-80 1513 JMC
C00148 00118 ∂12-May-80 1517 JMC
C00150 00119 ∂12-May-80 1519 JMC
C00151 00120 ∂12-May-80 1718 JMC
C00152 00121 ∂13-May-80 0014 JMC workmen
C00153 00122 ∂13-May-80 1622 JMC
C00154 00123 ∂13-May-80 1623 JMC
C00155 00124 ∂13-May-80 1702 JMC
C00156 00125 ∂13-May-80 1705 JMC
C00157 00126 ∂13-May-80 2241 JMC
C00158 00127 ∂13-May-80 2248 JMC change in travel
C00159 00128 ∂13-May-80 2317 JMC
C00160 00129 ∂14-May-80 0040 JMC
C00161 00130 ∂14-May-80 0050 JMC
C00162 00131 ∂14-May-80 0102 JMC thesis
C00163 00132 ∂14-May-80 1410 JMC
C00164 00133 ∂14-May-80 1412 JMC
C00165 00134 ∂14-May-80 1413 JMC
C00166 00135 ∂14-May-80 1416 JMC
C00167 00136 ∂14-May-80 1417 JMC visit
C00168 00137 ∂14-May-80 1617 JMC
C00169 00138 ∂14-May-80 1817 JMC
C00170 00139 ∂14-May-80 1817 JMC →13541 (21-May-80)
C00171 00140 ∂15-May-80 0234 JMC trip
C00174 00141 ∂15-May-80 0300 JMC
C00175 00142 ∂16-May-80 1118 JMC via ARPA-TIP
C00176 00143 ∂16-May-80 1119 JMC via ARPA-TIP
C00177 00144 ∂20-May-80 1250 JMC
C00178 00145 ∂20-May-80 1252 JMC
C00179 00146 ∂20-May-80 1254 JMC
C00180 00147 ∂21-May-80 0001 JMC Expired plan
C00181 00148 ∂22-May-80 1006 JMC
C00182 00149 ∂22-May-80 1512 JMC thesis
C00183 00150 ∂22-May-80 1826 JMC →13543,13544
C00184 00151 ∂22-May-80 2133 JMC Ershov
C00185 00152 ∂22-May-80 2138 JMC
C00186 00153 ∂23-May-80 1152 JMC
C00187 00154 ∂23-May-80 1153 JMC
C00188 00155 ∂23-May-80 1302 JMC
C00189 00156 ∂23-May-80 1722 JMC
C00190 00157 ∂23-May-80 2025 JMC
C00191 00158 ∂24-May-80 1057 JMC
C00192 00159 ∂24-May-80 1239 JMC
C00193 00160 ∂24-May-80 1428 JMC
C00194 00161 ∂24-May-80 1522 JMC
C00195 00162 ∂24-May-80 1647 JMC
C00196 00163 ∂24-May-80 1657 JMC
C00197 00164 ∂24-May-80 1722 JMC
C00198 00165 ∂24-May-80 1735 JMC Ershov material
C00199 00166 ∂24-May-80 1747 JMC
C00200 00167 ∂24-May-80 1756 JMC LET.PUB[LET,JMC]
C00201 00168 ∂24-May-80 1806 JMC
C00202 00169 ∂24-May-80 2149 JMC
C00203 00170 ∂25-May-80 1220 JMC
C00204 00171 ∂25-May-80 2029 JMC
C00205 00172 ∂25-May-80 2208 JMC
C00206 00173 ∂25-May-80 2218 JMC
C00207 00174 ∂25-May-80 2218 JMC
C00208 00175 ∂25-May-80 2334 JMC
C00210 00176 ∂25-May-80 2336 JMC
C00211 00177 ∂26-May-80 0010 JMC
C00212 00178 ∂26-May-80 1108 JMC
C00213 00179 ∂26-May-80 1200 JMC
C00214 00180 ∂26-May-80 1429 JMC
C00217 00181 ∂26-May-80 1459 JMC
C00218 00182 ∂26-May-80 1705 JMC
C00219 00183 ∂26-May-80 1806 JMC
C00220 00184 ∂26-May-80 1814 JMC
C00221 00185 ∂26-May-80 1816 JMC
C00222 00186 ∂26-May-80 1930 JMC
C00223 00187 ∂26-May-80 2026 JMC via SU-TIP
C00224 00188 ∂27-May-80 0147 JMC thesis
C00225 00189 ∂27-May-80 0202 JMC
C00226 00190 ∂27-May-80 1029 JMC
C00227 00191 ∂27-May-80 1120 JMC
C00228 00192 ∂27-May-80 1140 JMC
C00229 00193 ∂27-May-80 1352 JMC
C00230 00194 ∂27-May-80 1354 JMC
C00231 00195 ∂27-May-80 1431 JMC
C00232 00196 ∂27-May-80 1601 JMC
C00233 00197 ∂27-May-80 1649 JMC
C00234 00198 ∂27-May-80 1703 JMC filing
C00235 00199 ∂28-May-80 1101 JMC
C00236 00200 ∂28-May-80 1655 JMC songs for Saturday
C00237 00201 ∂28-May-80 1844 JMC
C00238 00202 ∂28-May-80 2153 JMC
C00239 00203 ∂28-May-80 2335 JMC
C00240 00204 ∂29-May-80 0046 JMC Puma
C00241 00205 ∂29-May-80 0105 JMC manure
C00242 00206 ∂29-May-80 1300 JMC
C00243 00207 ∂29-May-80 1301 JMC
C00244 00208 ∂29-May-80 1446 JMC
C00245 00209 ∂29-May-80 2122 JMC
C00246 00210 ∂29-May-80 2222 JMC
C00247 00211 ∂29-May-80 2227 JMC
C00248 00212 ∂29-May-80 2359 JMC
C00249 00213 ∂30-May-80 1428 JMC
C00250 00214 ∂30-May-80 1442 JMC Binford letters
C00251 00215 ∂30-May-80 1500 JMC
C00252 00216 ∂30-May-80 1508 JMC
C00253 00217 ∂30-May-80 1904 JMC
C00254 00218 ∂31-May-80 1343 JMC
C00255 00219 ∂31-May-80 1345 JMC
C00256 00220 ∂31-May-80 1623 JMC
C00257 00221 ∂31-May-80 1641 JMC text for cs206
C00258 00222 ∂31-May-80 1644 JMC
C00259 00223 ∂01-Jun-80 0029 JMC
C00260 00224 ∂01-Jun-80 1741 JMC
C00261 00225 ∂01-Jun-80 1741 JMC letters on Binford to Feigenbaum
C00262 00226 ∂01-Jun-80 1833 JMC
C00263 00227 ∂01-Jun-80 1919 JMC
C00264 00228 ∂01-Jun-80 1931 JMC
C00265 00229 ∂01-Jun-80 1948 JMC library book
C00266 00230 ∂01-Jun-80 2013 JMC GM check
C00267 00231 ∂02-Jun-80 0936 JMC
C00268 00232 ∂02-Jun-80 0937 JMC rebudgeting
C00269 00233 ∂02-Jun-80 1149 JMC
C00270 00234 ∂02-Jun-80 1548 JMC
C00271 00235 ∂02-Jun-80 1608 JMC
C00272 00236 ∂02-Jun-80 1619 JMC accounts
C00273 00237 ∂02-Jun-80 1717 JMC
C00274 00238 ∂02-Jun-80 1843 JMC
C00275 00239 ∂02-Jun-80 2202 JMC
C00276 00240 ∂03-Jun-80 0005 JMC
C00277 00241 ∂03-Jun-80 0134 JMC
C00278 00242 ∂03-Jun-80 1332 JMC one page
C00279 00243 ∂03-Jun-80 1345 JMC arpa
C00280 00244 ∂03-Jun-80 1348 JMC
C00281 00245 ∂03-Jun-80 1348 JMC
C00283 00246 ∂03-Jun-80 1731 JMC
C00284 00247 ∂03-Jun-80 1737 JMC
C00285 00248 ∂03-Jun-80 1751 JMC
C00287 00249 ∂03-Jun-80 1759 JMC
C00288 00250 ∂03-Jun-80 2344 JMC
C00289 00251 ∂03-Jun-80 2347 JMC
C00290 00252 ∂03-Jun-80 2348 JMC
C00291 00253 ∂03-Jun-80 2357 JMC
C00292 00254 ∂04-Jun-80 1013 JMC
C00293 00255 ∂04-Jun-80 1014 JMC
C00294 00256 ∂04-Jun-80 1118 JMC
C00295 00257 ∂04-Jun-80 1337 JMC
C00296 00258 ∂04-Jun-80 1359 JMC CASBS[S80,JMC] is my contribution.
C00297 00259 ∂04-Jun-80 1424 JMC
C00299 00260 ∂04-Jun-80 1425 JMC
C00301 00261 ∂05-Jun-80 1107 JMC
C00302 00262 ∂05-Jun-80 1216 JMC
C00303 00263 ∂06-Jun-80 1545 JMC
C00304 00264 ∂06-Jun-80 1701 JMC
C00305 00265 ∂07-Jun-80 1532 JMC
C00306 00266 ∂07-Jun-80 1706 JMC standard mathematical keyboard
C00307 00267 ∂07-Jun-80 1742 JMC
C00315 00268 ∂07-Jun-80 1742 JMC apology and message
C00316 00269 ∂07-Jun-80 2040 JMC
C00317 00270 ∂07-Jun-80 2104 JMC specs for checker
C00318 00271 ∂07-Jun-80 2143 JMC overuse of xgp
C00319 00272 ∂08-Jun-80 0121 JMC
C00320 00273 ∂08-Jun-80 2121 JMC
C00322 00274 ∂08-Jun-80 2122 JMC
C00323 00275 ∂08-Jun-80 2252 JMC lamp
C00324 00276 ∂09-Jun-80 1048 JMC
C00325 00277 ∂09-Jun-80 1155 JMC
C00327 00278 ∂09-Jun-80 1215 JMC
C00339 00279 ∂09-Jun-80 1609 JMC disk costs
C00342 00280 ∂10-Jun-80 0129 JMC
C00343 00281 ∂11-Jun-80 1546 JMC flight
C00344 00282 ∂11-Jun-80 2351 JMC
C00345 00283 ∂12-Jun-80 0018 JMC
C00346 00284 ∂12-Jun-80 0732 JMC meeting with Doane
C00347 00285 ∂13-Jun-80 1048 JMC
C00348 00286 ∂13-Jun-80 1253 JMC reg materials request
C00349 00287 ∂14-Jun-80 2348 JMC
C00351 00288 ∂15-Jun-80 1710 JMC
C00352 00289 ∂17-Jun-80 0825 JMC
C00353 00290 ∂17-Jun-80 1933 JMC
C00354 00291 ∂18-Jun-80 0931 JMC
C00355 00292 ∂18-Jun-80 2211 JMC Proposal for addition
C00356 00293 ∂18-Jun-80 2239 JMC
C00358 00294 ∂18-Jun-80 2248 JMC
C00359 00295 ∂18-Jun-80 2253 JMC
C00360 00296 ∂19-Jun-80 2154 JMC Bertram Wolfe
C00361 00297 ∂19-Jun-80 2222 JMC
C00362 00298 ∂19-Jun-80 2223 JMC
C00363 00299 ∂20-Jun-80 0003 JMC
C00364 00300 ∂20-Jun-80 1114 JMC
C00365 00301 ∂20-Jun-80 1119 JMC proposal and
C00366 00302 ∂20-Jun-80 1306 JMC print a paper
C00367 00303 ∂20-Jun-80 1438 JMC
C00369 00304 ∂20-Jun-80 1754 JMC
C00370 00305 ∂21-Jun-80 1532 JMC trip to Chicago
C00371 00306 ∂21-Jun-80 1651 JMC
C00372 00307 ∂21-Jun-80 1658 JMC letter
C00373 00308 ∂21-Jun-80 1721 JMC
C00374 00309 ∂21-Jun-80 2132 JMC melville
C00375 00310 ∂21-Jun-80 2156 JMC melville
C00376 00311 ∂22-Jun-80 1919 JMC possible faculty candidate
C00378 00312 ∂22-Jun-80 2259 JMC
C00379 00313 ∂23-Jun-80 1242 JMC
C00381 00314 ∂23-Jun-80 1442 JMC
C00382 00315 ∂23-Jun-80 1504 JMC
C00383 00316 ∂23-Jun-80 1535 JMC
C00384 00317 ∂23-Jun-80 1736 JMC Carter
C00385 00318 ∂23-Jun-80 1914 JMC
C00386 00319 ∂23-Jun-80 2339 JMC
C00387 00320 ∂24-Jun-80 1056 JMC
C00388 00321 ∂24-Jun-80 1057 JMC
C00389 00322 ∂24-Jun-80 1528 JMC
C00390 00323 ∂24-Jun-80 1940 JMC progress report
C00391 00324 ∂24-Jun-80 2230 JMC letter to Harnad
C00392 00325 ∂24-Jun-80 2356 JMC
C00393 00326 ∂25-Jun-80 0059 JMC
C00394 00327 ∂25-Jun-80 0101 JMC
C00395 00328 ∂25-Jun-80 0135 JMC conser.xgp[s80,jmc]
C00396 00329 ∂25-Jun-80 0953 JMC
C00397 00330 ∂25-Jun-80 1422 JMC NSF report
C00398 00331 ∂25-Jun-80 1536 JMC
C00399 00332 ∂25-Jun-80 1620 JMC
C00400 00333 ∂25-Jun-80 1645 JMC
C00401 00334 ∂25-Jun-80 1732 JMC
C00402 00335 ∂25-Jun-80 1758 JMC Harold McIntosh
C00403 00336 ∂25-Jun-80 1812 JMC disks
C00406 00337 ∂25-Jun-80 1826 JMC formalization problem
C00408 00338 ∂26-Jun-80 0138 JMC autologout
C00409 00339 ∂26-Jun-80 0659 JMC
C00410 00340 ∂28-Jun-80 1654 JMC arpa report
C00411 00341 ∂28-Jun-80 1849 JMC thanks for documents
C00413 00342 ∂28-Jun-80 1927 JMC
C00414 00343 ∂28-Jun-80 2213 JMC
C00415 00344 ∂28-Jun-80 2303 JMC
C00416 00345 ∂29-Jun-80 1024 JMC
C00417 00346 ∂29-Jun-80 1837 JMC
C00418 00347 ∂30-Jun-80 1441 JMC for Dave Allen
C00419 00348 ∂30-Jun-80 1446 JMC
C00420 00349 ∂30-Jun-80 1500 JMC news stories
C00421 00350 ∂30-Jun-80 1548 JMC
C00422 00351 ∂30-Jun-80 1551 JMC
C00423 00352 ∂30-Jun-80 1652 JMC
C00424 ENDMK
C⊗;
∂02-Apr-80 1348 JMC
To: CLT
Lest I forget, Thursday (today or tomorrow) is wine tasstin 4:30 casbs.
∂02-Apr-80 1427 JMC dinner Thursday
To: "@AIPHIL.LST[F79,JMC]" at SU-AI, AS at SU-AI
CC: CLT at SU-AI
Carolyn and I hope you and your wives can come to dinner Thursday
at 7pm at 846 Lathrop Dr., Stanford 321-7580
from Junipero Serra E on Stanford Ave., first L on Raimundo,
immediate R on Cedro crossing Mayfield up hill to Lathrop. L
on Lathrop which ends in a T on Lathrop itself. Continuing
across would enter our driveway, but turn R and park.
∂02-Apr-80 1608 JMC
To: EAF at SU-AI
Reminder to find out if I can have Ma as a TA for 206 and 226.
∂02-Apr-80 2309 JMC
To: "@AIPHIL.LST[F79,JMC]" at SU-AI
The invitation is for Thursday April 10.
∂03-Apr-80 0950 JMC
To: csd.betty at SU-SCORE
Wait till I talk to him.
∂03-Apr-80 1110 JMC
To: minsky at MIT-AI
Do you have phone number of Alex Rich?
∂03-Apr-80 2125 JMC
To: REG
Please have Roy call me. A direct message doesn't work.
∂04-Apr-80 2153 JMC
To: AS
The command
xs <filename>/nohead
will print ethe file on the Xerox Graphics Printer in Margaret
Jacks Hall on the fourth floor. The /nohead suppresses putting
a heading with file name and page number on each page. I can
help you format it for more elegant printing this weekend or
Monday. At present I have a cold and prefer not to go out or
I'd meet you at MJH.
I'm not doing too well with concurrency with or without
intentionality. I have been looking at opera plots and would like
to discuss it with you this weekend or Monday depending
on how I feel tomorrow and your schedule. I hope you
had a good visit to San Diego.
∂06-Apr-80 1354 JMC
To: CLT
I'll call. The weather is presently acceptable and I'll check again before flying.
∂06-Apr-80 2214 JMC paper
To: minsky at MIT-AI
CC: RAH at SU-AI, LLW at SU-AI
I think the paper will be ok if it emphasizes basic feasibility
considerations.
∂07-Apr-80 1554 JMC
To: TOB at SU-AI, DBL at SU-AI, EAF at SU-AI, DPB at SU-AI
Tom's proposal for robotics specialization in MS program seems
like a good idea to me.
∂08-Apr-80 1639 JMC Haynes and Sabin
To: FFL
If Mr. Haynes calls again tell him I am on leave and not organizing
seminars these days. He should try someone else.
As for Sabin, I am sitting tight. If the Russians refuse the visa,
or more likely delay past departure time without saying anything,
then maybe I'll take part in a press conference if someone else
organizes it. In anything concerning the Russians, sanity requires
minimizing the amount of telephone calls and rushing around.
∂08-Apr-80 1743 JMC
To: AS
Unfortunately, there is a standard time - 2:30.
∂08-Apr-80 2220 JMC
To: LGC
What does 'MTC' stand for here? I am unfamiliar with this abbreviation.
"Mathematical Theory of Computation" is the term I introduced in 1960
for the mathematics of proving that computer programs meet specs.
∂08-Apr-80 2322 JMC Goad support
To: engelmore at USC-ISI
Jon Doyle has accepted our offer. Therefore, we will be requesting
supplementary support for Chris Goad as was discussed at our meeting.
If there are difficulties, please tell us as soon as possible.
∂08-Apr-80 2340 JMC Ma as TA
To: EAF at SU-AI
It occurs to me that if not all TA money is paid by the University,
there are no regulations about what the Department does with
the money it uses to supplement University money. Therefore, if
you agree, Ma could be paid what a TA gets for assistance with
CS206 and CS226. I would expect to get a lot of work out of
him both quarters, and it would help him when he wanted to
teach the material at Peking University. I should mention
that he hasn't accepted the offer yet.
∂09-Apr-80 1224 JMC
To: AS
I have copies of my AI Journal paper.
∂09-Apr-80 1225 JMC
To: csd.betty at SU-SCORE
Yes, it's ok for Jeff to have "spending authority".
∂13-Apr-80 1819 JMC
To: FFL
Please print BODEN.XGP[LET,JMC].
∂14-Apr-80 0857 JMC biography
To: FFL
Please send my long biography, that's BIOJMC[PAT,JMC] to
Prof Elliott Bloom at SLAC.
∂15-Apr-80 1308 JMC
To: DPB at SU-AI
Carolyn Talcott should be considered for Forsythe award, if I do say so myself.
∂15-Apr-80 1524 JMC
To: ROB
CC: LES, HVA
∂15-Apr-80 1512 ROB Disk pack for MACLISP
Would it be possible to supply RPG with a UDP for general MACLISP archival?
I believe it would be a big help to him in maintaining the system. I would
be happy to crank out the requisitions, etc, as required.
- Rob
Yes, please do it. - jmc
∂16-Apr-80 1205 JMC mother
To: JCH
Why not try R SPELL? I note "indispensible" for "indispensable" and
"ammendment" for "amendment".
Naturally I would be happier if you would treat the notion that
trivial intentionalities are the 0 and 1 of the theory. However, I
suppose my case would be much stronger if I presented a formal
theory of some intentional ascription in which the trivial cases
were the 0 and 1.
I admit feeling a little nervous about the mousetrap believing
that whenever it feels its trigger move, a mouse is nibbling, but I
guess I'm hoist by my own petard and I'd better get used to it. In
fact after 30 seconds I already feel less nervous.
∂16-Apr-80 1613 JMC
To: LGC
What are you up to these days?
∂16-Apr-80 1805 JMC
To: CET at SU-AI
CS206.ABS[S80,JMC] is the requested abstract for CS206.
∂18-Apr-80 1514 JMC letter to Prof Azriel Rosenfeld
To: FFL
Dear Azriel:
Many thanks for your prompt reply to my request for a letter
about Tom Binford.
∂18-Apr-80 1554 JMC
To: csd.betty at SU-SCORE
Here is the modified version:
This letter is to confirm our conversation concerning the decision to bring
the Artificial Intelligence Laboratory's financial and administrative affairs
into the general Computer Science Department's administrative unit as of
September 1, 1980. Although I regret that this decision requires that you
locate another position as of that date, closer integration
with the Department has become necessary.
I want to thank you for your service to the Artificial Intelligence
Laboratory over the past several years, and to offer you my best wishes
for the future. Please call on me if I can be of assistance to you in
your efforts to find another position to your liking.
Sincerely,
∂18-Apr-80 2347 JMC
To: HVA
Did my NSF renewal proposal go out?
∂20-Apr-80 1535 JMC
To: DCL
CC: LES
Excuse me David, I didn't suggest you take the ones that are being
returned. There may be other claims on them.
∂21-Apr-80 1257 JMC
To: HVA
Thanks Hersche.
∂21-Apr-80 1300 JMC
To: csd.rosenow at SU-SCORE
Hayes is PJH@SU-AI.
∂22-Apr-80 1325 JMC
To: csd.frog at SU-SCORE
I don't have time to fuss with it.
∂22-Apr-80 1509 JMC
To: FFL
Please make a reservation for two at Faculty Club for 12:15 tomorrow.
∂22-Apr-80 1517 JMC Thanks for SENSES
To: FFL
Thanks. It is better not to hyphenate words at the ends of lines, because
when the text is justified for printing, the hyphens will usually appear
in the middles of words in the middles of lines. Just end the line sooner.
∂23-Apr-80 1426 JMC
To: *
Message from It: It says It will keep raining until the last ecofreak
takes the brick out of his toilet tank.
∂23-Apr-80 1433 JMC
To: FFL
Please make me a reservation to Washington agreeing with Dr. Starr's and
a return on TWA 393 from Baltimore on May 11. Don't order tickets yet,
because I still haven't received an invitation to the meeting.
∂23-Apr-80 1504 JMC
To: FFL
I'll be in shortly.
∂23-Apr-80 1611 JMC
To: FFL
Please pub and spool hsu.le4.
∂23-Apr-80 1749 JMC
To: FFL
Thankyou note to Horn for Binford letter.
∂23-Apr-80 1751 JMC
To: EAF at SU-AI
I sent letter about Binford adjunct and already have two replies both good.
∂23-Apr-80 2307 JMC
To: DCL
CC: LES
There won't be "returns" until June. The terminals in question were
bought by CASBS (Center for Advanced Studies in the Behavioral Sciences)
for the use of other participants in the AI and philosophy group there who
are using (and paying for) SAIL. The terminals were ordered to Lab specs
and with the agreement that we would buy them for 2/3 price when they are
done with them. This will probably be in June for most of them, but since
the fellows are entitled to stay till September if they want to, might be
longer in some cases. I trust Don will have been able to fix yours before
then. I am hoping that SAIL will be able to keep at least one DM as a
permanent spare, but the demands are such that it isn't yet clear that
this will be possible.
∂24-Apr-80 1622 JMC
To: HVA
∂24-Apr-80 0349 TOB NSF proposal
John
I need a statement of current and pending support
for you for the NSF proposal. It is very time-critical.
Tom
∂24-Apr-80 1627 JMC
To: FFL
Please pub, etc. new version of hsu.le4. Tang copy doesn't need envelope.
∂24-Apr-80 1632 JMC
To: RAK
SE2 meeting at my house Thursday May 1 8pm
∂24-Apr-80 1632 JMC
To: CLT
SE2 at our house Thursday May 1 8pm
∂25-Apr-80 1636 JMC
To: LGC
CIRCUM.XGP[W80,JMC] is the file which may have been printed as an AI Memo.
You will shortly get a notice of two lectures I plan to give on
non-monotonic reasoning.
∂25-Apr-80 1647 JMC
To: FFL
.if false then begin
ANNOUN[S80,JMC] is a draft announcement of two lectures I plan to give.
However, please check on room availability and whether it conflicts with
seminars in computer science or philosophy. I guess a bigger room than
301 MJH is needed.
Notices should go to philosophy department, Professors Barwise and Kreisel
personally, CS bulletin boards. Also via computer mail to Bobrow%MAXC and
Nilsson%SRI with a note suggesting that they post it if they think people
will be interested. Also by computer mail to AIPHIL[F79,JMC].
.end
∂25-Apr-80 1757 JMC
To: EAF at SU-AI
Thanks, Ed
∂26-Apr-80 1704 JMC
To: CJS
What is state of circumscription AI Memo?
∂26-Apr-80 1705 JMC message to DCL
To: LES
While your message to DCL was no doubt correct in substance, it doesn't
make it easy for him to back down gracefully. Perhaps you can devise
some way of accomplishing that?
∂26-Apr-80 1730 JMC
To: LES
You're right about the long term existence of this side of David, and
we will not persuade him to change his personality, but most likely
we will arrive at some modus vivendi, perhaps with the aid of
Feigenbaum. I'll talk to him about the problem.
∂26-Apr-80 2031 JMC cancel
To: FFL
I have just realized that I can' go to Maryland on Thursday,
since I must attend a meeting here Thursday night. Please
cancel outgoing reservation and notify Starr's secretary. I
will check Monday on whether I should go at all. Find out if
there is a red-eye, i.e. a late night flight, that would get
me into Washington or Baltimore Friday morning, but don't
make reservation yet.
∂28-Apr-80 0016 JMC
To: FFL
Please print for me BMT[1,CLT] and BMT.XXGP[1,CLT].
∂28-Apr-80 1630 JMC
To: sandelin at SUMEX-AIM
Thanks Jon for the lunch invitation. I'll probably come if I'm in town
which now seems more likely than not. FYI Brian Tolliver was never in
AI Lab, but did work on PDP-1 when we shared it with Suppes. His company
did a job for (on) the AI Lab once.
∂28-Apr-80 1725 JMC report
To: MFB, CG
I need one page from each of you describing your thesis work. It should
be written in the third person, and it is for inclusion in the final
report of the ARPA contract that ended in November. It is grossly
overdue, and I previously forgot to ask for your contribution. So please
hurry. I would like it this week.
∂28-Apr-80 1726 JMC temporal logic and elephant
To: ZM
I have decided that my Elephant paper ought to compare it with
the temporal logic approach. What are the best one or two papers
to look at. I am, of course, interested in making the comparison
in connection with the verification of specific programs, e.g.
gcd or dining philsophers. I now understand what Francez and
Pnueli did, but I don't really see why they regard explicit
reference to time as "nasty" as Francez puts it.
∂28-Apr-80 2121 JMC new home phone number
To: FFL
After May 3, my home phone will be 857-0672. Please ask
Les, how to change it in the department and computer files.
However, I no longer wish to encourage people to call me
at home when I'm not available at CASBS or the Lab.
∂28-Apr-80 2248 JMC imlac
To: ROY
It has been mostly unusable now for more than a month.
The phone company has checked all the connections,
and they are OK. Now that the tapes are working, do
you have some time to look at it?
∂29-Apr-80 1400 JMC
To: FFL
The room is fine, but please make the dates May 14 (Wednesday) and
May 16 (Friday).
∂29-Apr-80 1524 JMC
To: FFL
No. Dan Dennett won't be back till the 14th. Schedule the first for that
room, and I'll consult with the audience about whether and when there
will be a second lecture.
∂29-Apr-80 1734 JMC reference
To: WOL
With Zohar away, Carolyn suggests that you might be the
best source of information. I need one or two references
to temporal logic so that I can compare the Elephant
approach to representing programs and proving their properties
to the temporal logic approach. I would prefer
references that give specific examples.
∂29-Apr-80 1800 JMC
To: RWW
I have done my part of the ARPA final report. What about you?
∂29-Apr-80 1802 JMC ARPA report
To: LES
REPORT[S80,JMC] covers me and Carolyn. Chris Goad has supplied
a page about his work that is in my mail file. I have asked Martin
Brooks for a page and have jogged Richard.
∂29-Apr-80 1925 JMC
To: ROY
Now it's losing badly again, i.e. display skipping around and vanishing.
∂01-May-80 0028 JMC
To: RWW
Please put your report in the third person. Also proofread.
∂01-May-80 0029 JMC
To: LES
Aiello is going back to Italy in the Fall. Suggest you find exact date.
∂01-May-80 1321 JMC
To: LES
Also Carolyn Talcott unless she's covered by my NSF.
∂01-May-80 1322 JMC
To: CG
Thursday the 15th is fine with me.
∂01-May-80 1325 JMC
To: FFL
Please accept the reception invitation and put it on p. 7 of CALEND[LET,JMC].
∂01-May-80 1327 JMC
To: WOL
Thanks for the references.
∂01-May-80 1328 JMC
To: FFL
On page 125 of msg.msg[1,jmc] is a message giving two references. Please
get xeroxes of these papers for me. Originals will be in Math sciences
library.
∂01-May-80 1417 JMC
To: LES
Yes. I would like to pick up two new students in the Fall. If there
is money, one could be on NSF and the other ARPA. See what happens to
the ARPA budget if both are on ARPA.
∂01-May-80 1646 JMC
To: FFL
There is a graduate student named Pierre Wolper who probably has copies,
since he suggested these references. I suggest you ask to copy his. The
computer knows him as WOL.
∂01-May-80 2351 JMC
To: BIS
CC: TOB
ONE DAY IS TOO LITTLE TIME FOR A 3 YEAR PROPOSAL.
∂02-May-80 0915 JMC
To: JMC
Dick Wilson 968-7697, also Computer 965-3130
∂02-May-80 2126 JMC
To: TOB
Carolyn and I went to Pinnacles today. I can sign on weekend or Monday.
∂03-May-80 1104 JMC
To: JK
How about coming to the CASBS for lunch on Tuesday?
∂03-May-80 1346 JMC
To: CLT
At the moment, Berkeley seems too far.
∂03-May-80 1838 JMC
To: MLB
Isabel's
∂04-May-80 0106 JMC
To: MFB
Thanks for improved version.
∂04-May-80 0107 JMC
To: LES
∂03-May-80 2310 MFB
New Version
John, here is an improved version.
This thesis presents a mathematical theory of program testing which
describes how testing can be used to show a program's correctness.
The scenario for using testing to show correctness is that the programmer
writes a program P which is either correct, or which differs
from the correct program by one or more erors in a specified class E of errors.
The theory relates:
P's structure
The combinatorics of how errors in E could have led to P (incorrectly) being written.
The type of program behaviour that the programmer will observe when testing, for
example the program's output, or a trace.
The characterisitics of "complete" test data, which is guaranteed to reveal
the presence of errors in E, assuming all errors come from E.
The theory is developed at a general level and is then specialized
to the case of recursive programs having only simple errors, where the
programmer observes a trace of each test run. We derive a method for generating
test data, based on this application of the theory. The generated test data is "complete",
meaning that if the only errors in the recursive program are of the specified types,
then the test data will
reveal the errors through at least one incorrect trace. Viewed contrapositively,
assuming that the written program P is "almost correct", that is, differs from
the correct program at most by errors of the specified simple types E,
if the trace of each
test run is as the programmer intended, then the program must be correct.
The test data generation method has been implemented (in MacLisp) and examples
of its operation are given.
∂04-May-80 1456 JMC
To: JK
Yes, it's too late. They serve promptly at noon, and I would say
that 12:15 is about the safe limit.
∂04-May-80 1817 JMC
To: DON
What is SEARCH?
∂04-May-80 2321 JMC
To: PJH
Is there such a thing as POP-10?
∂05-May-80 1039 JMC
To: PJH
Thanks, I only asked, because I saw it mentioned in an article.
∂05-May-80 1128 JMC
To: HVA, FFL
I'll be in late this afternoon.
∂05-May-80 1644 JMC temporal logic
To: WOL
Thanks for the Manna-Pnueli paper. Do you know how to say in temporal
logic "P will be true the next time Q is true", i.e.
∀t'.[[t'>t ∧ Q(t') ∧ ∀t"(t < t" < t' ⊃ ¬Q(t"))] ⊃ P(t')] ?
∂06-May-80 1608 JMC
To: FFL
It looks like I won't know till tomorrow. If I don't know by then
whether I'm invited, I'll cancel.
∂07-May-80 0929 JMC going through the Wye
To: FFL
I will go to that meeting. Please arrange for tickets to be
delivered tomorrow. I often deal with Franklin Hersch of
Dina Bolla Travel Agency, but it they don't deliver, perhaps
another will. They should be charged to one of my unrestricted
accounts; ask Hersche.
∂07-May-80 1036 JMC
To: FFL
Tell her I'll be there at 6:45.
∂07-May-80 1039 JMC
To: FFL
Please get me a copy of this: (math library)
Gabbay, Pnueli, Shelah, Stavi, The Temporal Analysis of Fairness, seventh POPL,
Las Vegas, January 1980.
∂07-May-80 1138 JMC
To: RWW
I would like a copy of your non-monotonic reasoning paper, so I can
take it into account in my talks next week.
∂07-May-80 1138 JMC non-monotonic reasoning
To: TW
I am talking about non-monotonic reasoning starting next Wednesday,
and I would like to take into account your paper at the conference.
Was that written up for the AI Journal, and could I have a copy?
∂07-May-80 1142 JMC
To: PAT
When might you help find that time-sharing paper?
∂07-May-80 1158 JMC
To: PAT
It is dittoed and about 10 pp.
McCarthy, John\A time sharing operator program for our projected IBM 709\unknown\
Jan. 1959\2 copies\time sharing. (GEN)
∂07-May-80 1202 JMC
To: FFL
I'll go with Dr. Starr as planned.
∂07-May-80 1404 JMC
To: FFL
This is the proceedings of a conference, not a journal. Since Manna went
to the conference, he undoubtedly has its proceedings but will be away
till June 3. Please ask his secretary if she can find it and copy the
paper. I forget her name, but his office is at the end of the corridor
from yours towards the church. If that doesn't work, try Pierre Wolper.
∂07-May-80 1415 JMC skyhooks and juggling
To: DEW
Minsky and I invented a form of skyhook that "works" basically as follows
although there are many complications: A stream of particles in vacuum
is accelerated up and supports a platform by exchange of momentum. When
the particles fall down again, they are re-accelerated up. Lowell Wood
and Rod Hyde have ideas on how it can actually be made to work. Anyway,
the platform is supported by a juggled stream of particles. My question
for you is this: Is it humanly feasible to support a plate or other
object by juggled balls? Has anything like it ever been done?
∂07-May-80 1529 JMC
To: FFL
Thank God.
∂07-May-80 1922 JMC
To: LGC
There seems to me to be a certain plausibility in the ideas you
ascribe to Shrobe. I would like to borrow a copy of an
appropriate paper or else you could tell Frances (FFL) where
to get one to xerox.
∂07-May-80 1925 JMC
To: csd.tajnai at SU-SCORE
Yes, I plan to use maclisp manuals also and would be grateful
if you would see about making sure they're available. Another
preliminary edition of McCarthy and Talcott should be available
through the Department by Fall.
∂08-May-80 1415 JMC hotel
To: FFL
Do I have a hotel reservation or is this conference at a place
with accomodations? If neither, probably Starr's secretary was
sent a list of nearby hotels and would you try to get me a
reservation.
∂08-May-80 1451 JMC
To: FFL
In that case no need to call. I'll tag along with Chauncey Starr and
see what happens.
∂08-May-80 1600 JMC stallman
To: minsky at MIT-AI
My present desire is to temporize, because I have too many irons
in the fire at the moment and have neither time to find out about
money nor to interact with Stallman if he came. I suppose I might
have time to interact by the end of June, but I don't really know
how prioritous that would be. It might help if Stallman would
MAIL me a note about what he would be interested in doing or helping
with or talking about.
∂08-May-80 1630 JMC
To: FFL
Are you coming in this afternoon or do you want it left on your desk?
I'll be in, but if not please leave it in the desk drawer first file
folder.
∂08-May-80 1647 JMC
To: FFL
evidently I won't be in
∂08-May-80 1647 JMC
To: FFL
evidently I won't be in before 5
∂08-May-80 2110 JMC
To: JMC
barnett 854-5869 herz 857-1838
∂08-May-80 2247 JMC thanks
To: FFL
Thanks for arranging the trip. My request to get the tickets charged
to a Stanford account was because I forgot that I had requested that
they be charged to my American Express card. The trip will eventually
be paid for by the unrestricted account, but I am not short of money,
so if the check request hasn't gone forward, there is no special need.
See you Monday.
∂08-May-80 2302 JMC pearl.le1
To: FFL
The letter needs the UCLA zip code and to be pubbed.
∂08-May-80 2308 JMC
To: FFL
Also newbor.le2
∂08-May-80 2309 JMC Gabbay et. al. paper
To: WOL
Many thanks for it. I see that they also found the work of Kamp.
Is there any paper that uses the UNTIL operator on examples?
I haven't had time to read it yet, but the Kamp completeness
results leave open yet another area of possible incompleteness,
since they only covers the temporal logic expression of formulas
involving predicates on single times. Predicates involving
functions of several times, the simplest of which is the assertion
that a certain function is increasing in time, may still not
be expressable. Do you know about this?
∂08-May-80 2316 JMC
To: LGC
Thanks for Shrobe papers.
∂08-May-80 2324 JMC statement on meeting
To: FFL
To attend <name of conference> in Wye, Maryland on May 9-11, 1980.
You can get the exact name from Starr's secretary or I'll have it
when I return.
∂12-May-80 1442 JMC
To: ME, DCL
JMC - I had two reasons for establishing my exemption from autologout. The
more publically acceptable reason is that my job involves allowing people
to interrupt me, and autologout was really zapping me. The perhaps less
acceptable reason is that one of my goals for the last 20 years has been
to create a time-sharing system with terminals on desks, and having put
considerable effort into making it happen in the first place, and it did
happen first at SAIL, I wanted to enjoy it. However, I have inadvertently
left some idle Datadisc jobs on the machine a few times recently, and because
of that, I am now agreeable to reducing my exemption from infinity to an
hour in prime time and to 2 hours outside of that.
∂12-May-80 1513 JMC
To: MFB
I am ready to sign but have mislaid signature sheet.
∂12-May-80 1517 JMC
To: FFL
∂12-May-80 1422 Raj.Reddy at CMU-10B (A610RR29) Wisemen Meeting on Robotics at ARPA on May 16.
Date: 12 May 1980 1718-EDT (Monday)
From: Raj.Reddy at CMU-10B (A610RR29)
Subject: Wisemen Meeting on Robotics at ARPA on May 16.
To: Simon at cmu-10A, JMC at SU-AI, MINSKY at MIT-AI
CC: Raj.Reddy at CMU-10B
Message-ID: <12May80 171802 RR29@CMU-10B>
I will be staying at the Holiday Inn, Keybridge/Arlington 15th evening. If any
of you are in D.C. that evening perhaps we can get together.
Raj
Please make plane reservation to Washington Thursday during day and back
Friday night and Holiday Inn reservation as shown Thursday night.
∂12-May-80 1519 JMC
To: FFL
Also find out if TOB is going to robotics mtng. If so co-ordinate travel.
∂12-May-80 1718 JMC
To: WOL
Thanks for the information.
∂13-May-80 0014 JMC workmen
To: FFL
Please be sure they move the blackboard just enough to the right
so that the bookcases can be flush with the opening of the alcove.
The one bulletin board is fine where it is, but it could be fastened
more professionally. The steps should be small and movable. It would
be well if they revised the lower rim of the alcove and put something
on its cement floor, e.g. tile or carpeting.
∂13-May-80 1622 JMC
To: TOB
Regrettably not. Attendees seem to be Simon, Minsky and Reddy and me+ARPA.
Such a meeting probably can only suggest agenda items and invitees
for more substantial meeting.
∂13-May-80 1623 JMC
To: reddy at CMU-10A
See you at Holiday Inn. - John
∂13-May-80 1702 JMC
To: FFL
Yes, I called her yesterday to change the Thursday meeting, and evidently
she is now confused. Please call her. Please put both appointments (19 and
23) in CALEND[LET,JMC], page 7.
∂13-May-80 1705 JMC
To: *
Event of Wednesday, May 14, 2:30pm, 402 MJH. John McCarthy will discuss
non-monotonic reasoning.
∂13-May-80 2241 JMC
To: CG
As it turns out, I will be gone from this Thursday thru next Wednesday.
∂13-May-80 2248 JMC change in travel
To: FFL
I just discovered that I have to be in Boston next Wednesday.
Rather than make two trips, I now want to go to Washington as
planned, go to New York Friday evening about 6pm, go to Boston
Sunday about 5pm, and return from Boston leaving Wednesday as
soon as possible after 4:30pm. Carolyn will come to, and her
ticket should be charged to my American Express. We will need
a reservation in New York Friday and Saturday night preferring
the New York Sheraton.
∂13-May-80 2317 JMC
To: EAF at SU-AI
Programs with Common Sense - 21 Years After
∂14-May-80 0040 JMC
To: MFB
Sheets found and signed and in Frances's office.
∂14-May-80 0050 JMC
To: MFB
There are many spelling errors in my copy. Spelling checker?
∂14-May-80 0102 JMC thesis
To: MFB
It occurs to me that the idea of your method is more applicable to
hardware than to programs. Namely, hardware is subject to mutations
of definite kinds, and your assurance of a complete set of tests
corresponding to a class of mutations is what is wanted.
∂14-May-80 1410 JMC
To: FFL
Another midtown Manhattan hotel (preferably recommended by Hirsch or
other travel agent) will do.
∂14-May-80 1412 JMC
To: MFB
Such failures would rarely change the topology. R SPELL and follow
instructions.
∂14-May-80 1413 JMC
To: FFL
Contact should be Binford. I don't remember letter, however.
∂14-May-80 1416 JMC
To: csd.hill at SU-SCORE
Building stairs was Buckhout's idea. If
∂14-May-80 1417 JMC visit
To: minsky at MIT-AI, ef at MIT-AI
Carolyn and I will be coming to Boston on Sunday evening and staying
till Wednesday. We are leaving to Washington tomorrow morning and will
be in N.Y. on weekend.
∂14-May-80 1617 JMC
To: minsky at MIT-AI
No plan yet.
∂14-May-80 1817 JMC
To: CG
OK on Kreisel talk. Make sure it is well announced.
∂14-May-80 1817 JMC →13541 (21-May-80)
To: "#___JMC.PLN[2,2]"
Travelling in East till evening of May 21.
Frances Larson (FFL) knows schedule.
∂15-May-80 0234 JMC trip
To: FFL
1. It turns out that we will stay in Professor Todorovich's apartment
Friday and Saturday night, so we won't need the hotel reservation
then. However, we will need a reservation for Sunday night in
New York. Would you try to switch it to Sunday night? Please
send me a message as to your success, because I will be able
to log in occasionally, especially from ARPA to read my mail.
2. Please phone CASBS (321-2052) and tell them that I will not be there for
lunch thru Wednesday.
3. I would like to make appointments at Harvard University to see
Professor Hilary Putnam in the Philosophy Department for a discussion
of AI and philosophy and separately Professor Harvey Brooks (not sure
name of his department) to discuss the SE2 conference in June and
technology issues generally. Neither
request is urgent, but if it is convenient for them, I would appreciate it.
It would be especially convenient if the appointment with Putnam
were an hour or two after the appointment with Brooks, but the
times should be at their convenience. Monday afternoon thru
Tuesday evening are feasible, but don't suggest an evening
appointment. Brooks is an especially busy person, and I haven't
met him, although he knows of me, since I am in the session he
is chairing at the June conference.
Please MAIL me how you make out.
∂15-May-80 0300 JMC
To: minsky at MIT-AI, ef at MIT-AI
A change. We're coming to Boston Monday noon.
∂16-May-80 1118 JMC via ARPA-TIP
To: FFL
Many thanks for making appointments, which are satisfactory.
∂16-May-80 1119 JMC via ARPA-TIP
To: ROY
I'll be away thru Wednesday, but the cleaning woman will be there on ∧Monday.
∂20-May-80 1250 JMC
To: TOB
I will do nothing re money without your consent. I will probably run
out of gas and do nothing at all, but if Stanford wants to make a gesture
that might pay off big later, they could refuse the money and give
you 9K of their own.
∂20-May-80 1252 JMC
To: FFL
30th is ok with me.
∂20-May-80 1254 JMC
To: EAF at SU-AI
1971
∂21-May-80 0001 JMC Expired plan
To: JMC
Your plan has just expired. Maybe you should make a new one.
∂22-May-80 1006 JMC
To: FFL
CALEND and PHON are now in [1,JMC] instead of [LET,JMC].
∂22-May-80 1512 JMC thesis
To: HPM
I didn't know a complete copy was available. I can't get to it tonight,
because I am preparing a seminar for tomorrow, but most likely I can read
it over the weekend.
∂22-May-80 1826 JMC →13543,13544
To: *, "#EVENT.LOG[2,2]"
Event of FRI 23-May-80 at 2:30pm
402MJH, J. McCarthy - Non-monotonic reasoning 2
∂22-May-80 2133 JMC Ershov
To: MINSKY at MIT-AI
The Ershov visiting the U.S. is Yurii. I just got a letter from
Andrei. I would like to know particulars of charges
against Yurii Ershov including sources. In particular, I would
like to know whether the sources all come from one person
or are multiple. kreisel raised the question.
∂22-May-80 2138 JMC
To: ROY
At 8pm Imlac was fine. At 9:30 bad again. I wonder about interference.
∂23-May-80 1152 JMC
To: "#FOO.MSG[1,JMC]"
1115
∂23-May-80 1153 JMC
To: "#FOO.MSG[1,JMC]"
1116
∂23-May-80 1302 JMC
To: "#FOO.MSG[1,JMC]"
1300
∂23-May-80 1722 JMC
To: "#FOO.MSG[1,JMC]"
1722
∂23-May-80 2025 JMC
To: "#FOO.MSG[1,JMC]"
2034
∂24-May-80 1057 JMC
To: "#FOO.MSG[1,JMC]"
1056
∂24-May-80 1239 JMC
To: "#PHON.MSG[1,JMC]"
857-0352
∂24-May-80 1428 JMC
To: "#FOO.MSG[1,JMC]"
1427
∂24-May-80 1522 JMC
To: "#FOO.MSG[1,JMC]"
1521
∂24-May-80 1647 JMC
To: FFL
Please print ALM.XGP[LET,JMC] when a clean copy is possible.
∂24-May-80 1657 JMC
To: FFL
Please pub and print BLATTN.LE1.
∂24-May-80 1722 JMC
To: "#FOO.MSG[1,JMC]"
1722
∂24-May-80 1735 JMC Ershov material
To: CLT, FFL
Material sent to Ershov in 1978 was returned in January with
Soviet customs stamp "Importation Prohibited". Do you know where we
might have put it. He wants me to try to send some of it again.
∂24-May-80 1747 JMC
To: CLT, FFL
Cancel previous. I found it.
∂24-May-80 1756 JMC LET.PUB[LET,JMC]
To: LES
I notice that a letter headed ∂CSL and terminated .sgn identifies me as
Director as well as Professor of Computer Science. Can the "Director"
on such letters be eliminated?
∂24-May-80 1806 JMC
To: "#FOO.MSG[1,JMC]"
1806
∂24-May-80 2149 JMC
To: SEK
ok, I'll be teaching, and I'll be in touch with you.
∂25-May-80 1220 JMC
To: "#FOO.MSG[1,JMC]"
1219
∂25-May-80 2029 JMC
To: "#FOO.MSG[1,JMC]"
2028
∂25-May-80 2208 JMC
To: LES
Thanks, I changed the file.
∂25-May-80 2218 JMC
To: "#FOO.MSG[1,JMC]"
1000
∂25-May-80 2218 JMC
To: "#FOO.MSG[1,JMC]"
22
∂25-May-80 2334 JMC
To: HPM
I have read your thesis and am ready to sign it.
1. There are two misprints:
p. 94 line -4 Manhatten for Manhattan
p.103, line -6 lmitations
2. I have no objection to your implied criticism of me.
3. Perhaps you should check whether Baumgart objects
to your characterization of his efforts. I would
advise him not to, but there is no sense in
starting a feud.
4. Hand-eye was the Lab's first project. It was started
at a time when we could do what we pleased. Keeping
it supported wasn't very easy.
From an engineering and scientific point of view,
you are entirely right in complaining about the
level of support for the cart project. Maybe an
independent effort to get NSF support would have
succeeded, but I do not regard myself primarily
as a grantsman. I believe that Raj Reddy
does a better job, and if you want to use your thesis
as a basis, given the somewhat improved situation
for basic science support, I think you can get a reasonable
project started.
Let me point out, however, that JPL with a
direct mission reason for a cart project and much
more detailed plans, has not gotten the support to
do as much as you were able to do.
∂25-May-80 2336 JMC
To: HPM
I can come in today (Mondaky) if that will help.
∂26-May-80 0010 JMC
To: HPM
We would like the thesis as an AI memo.
∂26-May-80 1108 JMC
To: "#FOO.MSG[1,JMC]"
1108
∂26-May-80 1200 JMC
To: "#FOO.MSG[1,JMC]"
1159
∂26-May-80 1429 JMC
To: moravec at CMU-10A
Here are a few more remarks:
1. When I originally thought about a program to drive a vehicle, I
expected that recognition of obstacles would involve their identification
as people, rocks, vehicles, paper bags, shadows, etc. This kept me
somewhat unenthusiastic about your approach that didn't involve this.
I still think that a car driving program will have to do this, because
humans and vehicles don't necessarily just stand there, paper bags may
blow around and can be run over with impunity, etc. A remark in some
version giving your opinion of at what stage object identification will
come in will be helpful.
Though I'll sign without it, I would urge you to get it into
the thesis itself if logistically feasible.
2. Had I imagined the work would take so long, I might have kicked you
out supposing that I could find someone to do better. Had I also known
that no-one would do better before 1980, I would have urged you to
prepare material that could have been the core of an NSF proposal.
However, their referees might also have expected more than was actually
possible, since just about everyone was in a mood to expect quicker
payoffs than were realized.
3. I am not sure what the correct moral is for future students.
Much pioneering scientific work has been done in PhD thesis projects
that received little support and took a long time, because the
resources at the disposal of the professors were mainly tied up
in other projects motivated by earlier "states of science". I
believe that the work of Watson and Crick on DNA structure fits
into that category.
∂26-May-80 1459 JMC
To: "#FOO.MSG[1,JMC]"
1458
∂26-May-80 1705 JMC
To: "#MSG.MSG[1,JMC]"
1703
∂26-May-80 1806 JMC
To: "#ESS.MSG[ESS,JMC]"
Increase feasible commuting distance as goal of technology.
∂26-May-80 1814 JMC
To: FFL
LOG lists Horn as recipient of Wye report. Who he?
∂26-May-80 1816 JMC
To: FFL
It should have been Karl Cohen. Was it?
∂26-May-80 1930 JMC
To: "#FOO.MSG[1,JMC]"
foo
∂26-May-80 2026 JMC via SU-TIP
To: REG, ROY
321-4562 is broken.
∂27-May-80 0147 JMC thesis
To: doyle at MIT-AI
The natural deduction proof on page 100 doesn't seem
to be correct. Its last step is not a correct
application of the discharge rule which could
only discharge a dependence on step 7 - not on 1 and 2
on which 7 depends. A correct proof can be obtained by
adding step 0 which assumes (A ⊃ B) ∧ (B ⊃ C). Steps
1 and 2 are obtained by ∧ elimination, the proof
follows yours thru step 6, and then the discharge
rule can be applied to get the desired theorem.
∂27-May-80 0202 JMC
To: doyle at MIT-AI
The RMS version can be regarded as correct assuming
an extended discharge rule that allows discharging
two assumptions at once. The natural deduction
version is still incorrect, because the rule that
would get 8 from 7 shouldn't know that 7 was
obtained by an ∧ introduction. It is easy
to construct false proofs if you allow
implication introduction from a consequence
of a premise rather than from the premise itself.
∂27-May-80 1029 JMC
To: MFB
My house or CASBS Friday morning would be fine depending on the time.
∂27-May-80 1120 JMC
To: MFB
857-0672 and 321-2052
∂27-May-80 1140 JMC
To: "#FOO.MSG[1,JMC]"
1139
∂27-May-80 1352 JMC
To: TOB at SU-AI
CC: admin.library at SU-SCORE
Will you decide about the library's copy of your proposal. My inclination
is towards openness. Why does the library use all upper case?
∂27-May-80 1354 JMC
To: "#FOO.MSG[1,JMC]"
1353
∂27-May-80 1431 JMC
To: "#FOO.MSG[1,JMC]"
1430
∂27-May-80 1601 JMC
To: "#FOO.MSG[1,JMC]"
16
∂27-May-80 1649 JMC
To: "#FOO.MSG[1,JMC]"
1645
∂27-May-80 1703 JMC filing
To: FFL
When I circle something or write something on the front of the document,
that text should appear in the description line so I can locate the
document with an E find command.
∂28-May-80 1101 JMC
To: ROD
Yes, I would be glad to be a reader of your thesis. It looks promising.
∂28-May-80 1655 JMC songs for Saturday
To: DCD
AIPHIL.SNG[LIT,JMC] and GARDNE.SNG are first drafts. The models
are ALGOL.SNG and THAIS.SNG (the latter not mine) respectively.
I generally work by substituting ideas and text from the originals,
so the present versions are as yet closer to the originals than they
should be or will eventually be. Since time is short, I solicit your
ideas on improving the texts. I want to remove Gardner from the
AIPHIL song, because he is "featured" in the other.
∂28-May-80 1844 JMC
To: FFL
CHRON[1,JMC] looks fine
∂28-May-80 2153 JMC
To: FFL
BLATTN.LE2[LET,JMC].
∂28-May-80 2335 JMC
To: FFL
Fran: Please get me a copy of the following:
Shimony, Abner, "Scientific Inference," in <<The Nature and Function of
Scientific Theories: Essays in Contemporary Science>, (Vol. 4
in the Univ. of Pittsburgh Series in the Philosphy of Science),
Pittsburgh, Univ. of Pittsburgh Press, 1970, pp. 79-172.
(don't know the editor offhand, might be Robert Colodny)
∂29-May-80 0046 JMC Puma
To: TOB
I was shown the Puma todnight by the red headed grad student.
It's very impressive, but I am somewhat concerned about
safety in the arm room. Please consider the following:
1. Painting arm radius lines on the floor again.
2. Removable gurds again.
3. Moving Puma control box out from under Puma.
4. Establishing a log book for the Puma and possibly for
the other arms as well. All operation or repair would be logged
and all malfunctions noted.
6. Establishing a formal system for checking out operators of
the Puma.
Do you think this would interfere with research.
∂29-May-80 0105 JMC manure
To: JCH
OED seems to suggest that the word comes from
the act of fertilizing. I presume then that
the basic latin root is the same as in
manufacture.
∂29-May-80 1300 JMC
To: FFL
On the circuit, there is trouble, but the main trouble probably isn't
phone company trouble. Tell him we'll call again later.
∂29-May-80 1301 JMC
To: FFL
It is Tibor Machan (Hungarian) in case it comes up again.
∂29-May-80 1446 JMC
To: FFL
I have some, and we should talk about it when I come in.
∂29-May-80 2122 JMC
To: "#PHON.MSG[1,JMC]"
Susand and Dann 226 Lincoln Ave, N. 7, redwood City, CA 94061
∂29-May-80 2222 JMC
To: TOB
Are we having lunch today?
∂29-May-80 2227 JMC
To: FFL
Please XS RUDE.NS[S80,JMC] and send to me at CASBS by campus mail.
∂29-May-80 2359 JMC
To: FFL
Please phone CASBS and tell them I'll not be there for lunch.
∂30-May-80 1428 JMC
To: bmoore at SRI-KL
This is to accept invitation to Pajaro Dunes conference.
∂30-May-80 1442 JMC Binford letters
To: EAF at SU-AI
I have 8 letters, all good, from
Brady, Horn, Winston, Reddy, Rosenfeld, Shirai, Bajcsy and O'Callagan,
and am missing 4 letters from
Feldman, Giralt, Waltz and Chern. I think we have enough to proceed.
Shall I send you copies of what I have?
∂30-May-80 1500 JMC
To: "#IIIB.MSG[LET,JMC]"
491-1850 x536, 862-5438
∂30-May-80 1508 JMC
To: SL
Carolyn is CLT.
∂30-May-80 1904 JMC
To: ROY
Sorry I forgot and only just got home.
∂31-May-80 1343 JMC
To: minsky at MIT-AI
I also prefer late in the week and so does Oliver. Let's make
it 12th and 13th. I got Oliver to appoint himself chairman pro tem.
∂31-May-80 1345 JMC
To: JRA
I'll try.
∂31-May-80 1623 JMC
To: FFL
INDOOR[S80,JMC] should be sent to the above people as a letter. I'll help you
accumulate the addresses which should be in a file SE2.ad1[SEN,JMC].
∂31-May-80 1641 JMC text for cs206
To: CET at SU-AI
Going through my mail at last, I came to a filled out "Textbook
adoption form" with date 5/16/80. Can I assume this is a copy
for my information of something you sent in on the basis of previous
information, or must I still do something?
∂31-May-80 1644 JMC
To: FFL
Please send Karl Cohen my correct address and title. He has LOTS.
∂01-Jun-80 0029 JMC
To: feigenbaum at SU-SCORE
Yes, please bug Waltz. I will be glad to remind Feldman; what is his
number or is it in the book.
∂01-Jun-80 1741 JMC
To: FFL
I need a current Palo Alto phone book.
∂01-Jun-80 1741 JMC letters on Binford to Feigenbaum
To: FFL
The replies on Binford are in a folder in the right hand drawer
of my desk. Please make copies of the letters and send them together
with a copy of the letter sent out to Professor Feigenbaum.
∂01-Jun-80 1833 JMC
To: FFL
MICHIE.LE1 if I didn't mention it already.
∂01-Jun-80 1919 JMC
To: FFL
goody.le1
∂01-Jun-80 1931 JMC
To: FFL
kursun.le1
∂01-Jun-80 1948 JMC library book
To: FFL
Please get for me Human Inference by Nisbet and Ross. It's relatively
new, so it mightn't be in yet, but I'm willing to wait.
I don't know whether Psychology has a separate library.
∂01-Jun-80 2013 JMC GM check
To: TOB
Please send FFL a message telling what account should get the
proceeds of the GM check.
∂02-Jun-80 0936 JMC
To: LES
∂02-Jun-80 0903 CSD.FEIGENBAUM at SU-SCORE (Edward Feigenbaum) ARPA budget
Date: 2 Jun 1980 0902-PDT
From: CSD.FEIGENBAUM at SU-SCORE (Edward Feigenbaum)
Subject: ARPA budget
To: jmc at SU-AI
John, two months ago you asked Bob Engelmore for additional support
re Chris Goad (and perhaps other things). He asked for a rebudgeting
taking into account Les's departure, Herschey's departure, etc.
To date, he has received nothing from you. It's June, and the money
for next October 1 is running out.
Fleetingly,
Ed
-------
∂02-Jun-80 0937 JMC rebudgeting
To: EAF at SU-AI
I may have to switch to Betty's services sooner than anticipated. I
gave the rebudgeting job to Les months agao and have mentioned it
several times without final result.
∂02-Jun-80 1149 JMC
To: CLT
I will be in at 3pm.
∂02-Jun-80 1548 JMC
To: BMOORE at SRI-KL
Mine are in SLOAN.SNG[LIT,JMC] and GARDNE.SNG[LIT,JMC].
∂02-Jun-80 1608 JMC
To: EAF at SU-AI
Feldman pleads overwork but thinks Binford not up to Marr or Horn.
∂02-Jun-80 1619 JMC accounts
To: FFL
ACCOUN[1,JMC] is a file that should contain names and numbers of
accounts which I control. Every so often it should be updated
with the amount in the account and the date of the update.
Please get the necessary information from Hersche.
∂02-Jun-80 1717 JMC
To: FFL
STARK.RE1[LET,JMC] has comments to be typed onto proposal form.
∂02-Jun-80 1843 JMC
To: JSV at SU-AI
Please be very careful with xgp.
∂02-Jun-80 2202 JMC
To: LGC
I think so, but I'll send you a message Tuesday night.
∂03-Jun-80 0005 JMC
To: RWG, RAK
See PETITI[S80,JMC]. Help needed.
∂03-Jun-80 0134 JMC
To: LES
Did budget take into account your and Hersche's departure?
∂03-Jun-80 1332 JMC one page
To: doyle at MIT-AI
I have been forgetting to ask you for this ever since you accepted our
offer, and now it is an emergency. I need about one page about what
you will be working on in the next year for ARPA. They have agreed to
pay but need a page.
∂03-Jun-80 1345 JMC arpa
To: LES
I had just written DOYLE.RE1[S80,JMC] when I got the Engelmore message.
Obviously it is insufficient. I will be in at 4.
∂03-Jun-80 1348 JMC
To: LES
I meant doyle.pro[s80,jmc].
∂03-Jun-80 1348 JMC
To: doyle at MIT-AI
Jon: Here is a paragraph I have written to send ARPA if
I don't here from you today. If they need more, I will elaborate
it a bit. It turns out they need a lot more.
John Doyle, who has just finished his dissertation at
M.I.T. under Gerry Sussman, will join the Formal Reasoning Group
September 1. His work for the next two years will include
developing the ideas of his thesis on programs that deliberate
and introspect in order to act more effectively. He will also
continue research on non-monotonic reasoning in collaboration
with McCarthy. His thesis "A Model for Deliberation, Action,
and Introspection" is available from him, DOYLE%MIT-AI.
∂03-Jun-80 1731 JMC
To: CG
Please phone me when you come in.
∂03-Jun-80 1737 JMC
To: LGC
Because of ARPA funding lack, my commitment to you is only till June 1,1981.
∂03-Jun-80 1751 JMC
To: engelmore at USC-ISI
I hate to renege on commitments I have made to hire people.
However, my commitments to Creary, Goad and Ketonen extend only to
September 1, 1981. My commitment to Doyle is for two years from September
1.
It would save $49K to commit to them only to September 1, and I
would plan to drop one of them at that time and get NSF support for
another. Do you think you could split the difference between the $110K
and the $44K you offered or at least go up to $61K?
Here is a brief statement of what Doyle will do, and I will
send more when I reach him. I have a writeup of what Goad will do,
and I'll send it to you as soon as I find the file. Do you need these
statements on paper or will net mail do?
John Doyle, who has just finished his dissertation at
M.I.T. under Gerry Sussman, will join the Formal Reasoning Group
September 1. His work for the next two years will include
developing the ideas of his thesis on programs that deliberate
and introspect in order to act more effectively. He will also
continue research on non-monotonic reasoning in collaboration
with McCarthy. His thesis "A Model for Deliberation, Action,
and Introspection" is available from him, DOYLE%MIT-AI.
∂03-Jun-80 1759 JMC
To: TOB
I think it's my prerogative, but I'll tell Ed first.
∂03-Jun-80 2344 JMC
To: LGC
How about 2pm in my office in MJH?
∂03-Jun-80 2347 JMC
To: TOB
I talked to Ed, and he suggested pointed out that we need to inform
Kahn. I suggest that you prepare a less than one page memo stating
what you intend to do with it. It would, of course, be best to
emphasize its use in ARPA supported work.
∂03-Jun-80 2348 JMC
To: RWW
We need to talk about your work with HP. How about Thursday sometime?
∂03-Jun-80 2357 JMC
To: CLT
Again you walk out without saying goodbye.
∂04-Jun-80 1013 JMC
To: FFL
Karl Cohen has me listed as Director of LOTS rather than as Professor
of Computer Science. I think I've fixed INDOOR. Call Les Dugan to
See if he has Seitz's address. Otherwise Todorovich has it. I
have Weinberg's address somewhere.
∂04-Jun-80 1014 JMC
To: TOB
I think you needn't include that in the memo.
∂04-Jun-80 1118 JMC
To: FFL
Weinberg's address is now in PHON.
∂04-Jun-80 1337 JMC
To: FFL
I have talked to many journalists about AI, and I do a certain amount
of it. However, when I am busy, as I am now, I often don't take the time.
Therefore, when a journalist whom I don't know calls, take his number, but
tell him that I will call back only if I am not too busy.
∂04-Jun-80 1359 JMC CASBS[S80,JMC] is my contribution.
To: DCD at SU-AI, JCH at SU-AI, PJH at SU-AI,
bmoore at SRI-KL
I will be glad to change it if it is anomalous syntactically or
semantically. Gardner would like a paragraph, perhaps separate
from the report, from DCD and JCH each on how the use of
the computer facilities works out for someone whose previous
activities have not involved the use of computers for writing.
∂04-Jun-80 1424 JMC
To: CG
∂04-Jun-80 0704 ENGELMORE at USC-ISI
Date: 4 Jun 1980 0701-PDT
Sender: ENGELMORE at USC-ISI
From: ENGELMORE at USC-ISI
To: JMC at SU-AI
Message-ID: <[USC-ISI] 4-Jun-80 07:01:21.ENGELMORE>
In-Reply-To: Your message of 03 Jun 1980 1751-PDT
John,
Let's do it this way. Send me a proposal which describes
the work that Doyle wants to do for the 15 month period beginning
Oct. 1, with a budget that would pay for his salary. That
should come to about 62K. That way, we can leave the budget for
the current effort as is, and I can cleanly justify the increase
by pointing to a new research effort. But I will need a bona
fide proposal, and as soon as possible to get the money lined up
for FY81. The proposal can be short , but should include at the
minimum the technical objectives, previous accomplishments (what
he did on his thesis, for example), a description of the proposed
work, a short statement of work (for the contract), milestones,
and Doyle's C. V.
Regards,
Bob
∂04-Jun-80 1425 JMC
To: LES
∂04-Jun-80 0704 ENGELMORE at USC-ISI
Date: 4 Jun 1980 0701-PDT
Sender: ENGELMORE at USC-ISI
From: ENGELMORE at USC-ISI
To: JMC at SU-AI
Message-ID: <[USC-ISI] 4-Jun-80 07:01:21.ENGELMORE>
In-Reply-To: Your message of 03 Jun 1980 1751-PDT
John,
Let's do it this way. Send me a proposal which describes
the work that Doyle wants to do for the 15 month period beginning
Oct. 1, with a budget that would pay for his salary. That
should come to about 62K. That way, we can leave the budget for
the current effort as is, and I can cleanly justify the increase
by pointing to a new research effort. But I will need a bona
fide proposal, and as soon as possible to get the money lined up
for FY81. The proposal can be short , but should include at the
minimum the technical objectives, previous accomplishments (what
he did on his thesis, for example), a description of the proposed
work, a short statement of work (for the contract), milestones,
and Doyle's C. V.
Regards,
Bob
∂05-Jun-80 1107 JMC
To: FFL
Monday, June 9 at 1:15 is fine for meeting with Cannon. Please put
it in my calendar file when arranged.
∂05-Jun-80 1216 JMC
To: "#FOO.MSG[1,JMC]"
1215
∂06-Jun-80 1545 JMC
To: TOB at SU-AI, EAF at SU-AI
I favor selling to Cannon, de Bra, et. al.
∂06-Jun-80 1701 JMC
To: bobrow at PARC-MAXC
I will be at AI conference and can attend Journal Board.
∂07-Jun-80 1532 JMC
To: "#FOO.MSG[1,JMC]"
1531
∂07-Jun-80 1706 JMC standard mathematical keyboard
To: DEK
The usual keyboard is not as convenient as the SAIL keyboard for
mathematical purposes, but the latter is really a 1966 model based
on what could be done at that time. Have you thought about a math
oriented terminal keyboard, and do you suppose that the Math Society
has enough interest yet to sponsor an effort at standardization or
at least to verbally recognize the problem? We may actually lose
ground, because we are not in a position to try to push our present
keyboard on the world.
∂07-Jun-80 1742 JMC
To: pournell at MIT-MC
Can you send me a copy of your paper with Possony?
∂07-Jun-80 0217 POURNE at MIT-MC (Jerry E. Pournelle) probably redundant remarks
Date: 7 JUN 1980 0518-EDT
From: POURNE at MIT-MC (Jerry E. Pournelle)
Subject: probably redundant remarks
To: MINSKY at MIT-MC, JMC at SU-AI
Following was sent to a chap who was doing a paper. It
probably says little I haven't sent you before. Worse, since I
put it out for the ENERGY net, you may have got a copy already;
if so, please forgive me. It did seem there were a couple of
points made that might be worth saying at the Pajaro Dunes
conference; if I shouldn't flame about this at that conference,
for Heaven's sake let me know, since selling space is about all
I do nowadays...
We are expecting both of you for dinner next Thursday
and assume the game plan is for all of us (NIvens, JMC, Minsky,
and us) to meet at my house sometime after 5 and before 6:45 or
so. Any style of food preferences should be recorded fairly
fast, otherwise it's up to me. Choices here include Japanese,
Western (roast beef), General American steak house, Persian,
Morroccan, Hungry Tiger = Steak plus Seafood; the good French
cuisine places would want us to stay longer than we have planned
(Monsieur Lion wants reservations for about 7 and expects you to
be there until 10:30 at least...)
JEP
Date: 5 JUN 1980 0425-EDT
From: POURNE at MIT-MC (Jerry E. Pournelle)
So far as I can tell, one of our major national problems
is that we no longer have goals; we don't know what America is
for any longer. We are obviously not the safeguard of world
freedom; we have even ceased to be the arsenal of democracy; and
we have tamed our frontiers.
Two decades ago we could delude ourselves into believing
that vast social projects were feasible goals; that by spending
money in Federal Aid To Education we could eliminate illiteracy;
by Food Stamps and Aid to Dependent Children and various other
programs we culd eliminate poverty and thereby eliminate crime;
and by extending the vote to everyone we would make everyone
productive, happy, and free. It's almost impossible for anyone
who didn't live through that era to remember what heady wine the
promise of New Deal, Fair Deal, Great Society, etc., really
were; and how vast the disappointment when the programs did not
accomplish what they were intended to bring about.
Moreover, to the extent that such programs are within
our resources, they are DONE. Not perfectly, of course.
Poverty proves eternal as St. Mark said it would be. Justice is
more elusive than we thought. Crime seems not as related to
"poverty" as we once believed. And we are at about the limit of
our abilities regarding social programs. What is left to do is
incremental, to be left to bureaucracy's millstones; Kennedy's
attempts to sound the trumpet of a renewed attack on social
goals shows just how uninspiring such messages are to today's
Americans.
YET: the United States has always believed itself a
"peculiar people", a people with a destiny. Now we have none.
One wonders. Kennedy could rescue himself from the
worst disaster since the Braddock Expedition by announcing the
goal of placing a man on the Moon. Nixon, in the midst of
Watergate, regained great popularity with Project independence
until it became clear he didn't mean it.
Could a leader sound the trumpets of glory again?
Announce that this generation of Americans could, with sacrifice
and hard work, end energy dependence forever, not only for us but
for the world? That economic costs are not the only
consideration; there is insurance in space, insurance against
planet-wide disasters that might destroy the human
race--disasters that are inevitable over the long run--could we
not make the future of the human race a goal for this
generation?
At the AAAS meeting this year Possony and I presented a
paper showing that there is no reason--no known reason
anyway--why the human race should not live for 100 billion years
more. We are very young compared to our potential. Certainly
such a life span, longer than the life of the Earth or Sun or
planets, requires some massive investments and a lot more
knowledge; but this generation could take the first step toward
that vast future.
Why don't we?
You asked for comments on your paper, and I fear you got
more than you req uested. Ah, well.
JEP
∂07-Jun-80 1742 JMC apology and message
To: pournell at MIT-MC
Sorry I sent your message back by mistake. What I actually tried to do
was to request a copy of your AAAS paper with Possony.
∂07-Jun-80 2040 JMC
To: "#FOO.MSG[1,JMC]"
2040
∂07-Jun-80 2104 JMC specs for checker
To: JK
I have looked at your two files of specs, and I have many comments and
suggestions. Some of them are in KETONE[S80,JMC], but we should talk
this week.
∂07-Jun-80 2143 JMC overuse of xgp
To: SID
The xgp, as you know, is rather delicate. Apart from the time it
takes, making 5 copies of a long document is overdoing it, unless, of
course, these are the final copies of a thesis. We want the xgp
to last another few months till the Dover can take over.
∂08-Jun-80 0121 JMC
To: JK
Some of my queries in KETONE[S80,JMC] will be obviated by further reading of your drafts.
∂08-Jun-80 2121 JMC
To: REP
I mention it in my draft, but clearly the compiler would then have
to be a problem-solver, and couldn't compile programs with
contradictions. I suppose the key issue is whether writing
things in this way would serve as good input to a problem
solver. In some cases, like the example of having baggage
handlers ready when the plane arrives, it seems like a reasonable
way of stating the problem, and a large class of such problems
can be solved by prescribing the initiation of activities sufficiently
far in advance of the time when their results are to be available.
Nothing has been done in the way of actually designing a compiler
that can handle references to the past - let alone to the future.
If you have some ideas, I would be glad to listen to them.
∂08-Jun-80 2122 JMC
To: JK
Early this week briefly and then late next week.
∂08-Jun-80 2252 JMC lamp
To: FFL
It's mine. I often use your office at night, when Carolyn is using 356,
and the room lights buzz unpleasantly. If it's in the way, I'll keep it
in the other room.
∂09-Jun-80 1048 JMC
To: FFL
Thanks for message cancelling Cannon meeting.
∂09-Jun-80 1155 JMC
To: DEK
It doesn't seem to me that our keyboard can become a standard,
because it is anomalous to have a few Greek letters and not all.
When the keyboard was designed, we wanted a system that would include
printers and displays. Now that both printers and displays are oriented
towards dot matrices and can therefore accept arbitrary character sets,
the keyboard is a major limitation. Most likely a mathematics oriented
keyboard should suit engineers and scientists generally and not just
mathematicians. Devising the best scheme is probably more a computer
science problem than anything else.
∂09-Jun-80 1215 JMC
To: LES
a075 0652 09 Jun 80
PM-Information Retrieval,480
For Release at 2 p.m. EDT
AP Members' Group Announces Information Retrieval Plan
ATLANTA (AP) - Home computer owners will be able to ''dial'' news
stories from The Associated Press and a group of the cooperative's
member newspapers under an information retrieval experiment announced
today by AP President Keith Fuller.
Fuller said that a minimum of 11 AP member newspapers will work with
the AP and CompuServe Inc., a Columbus, Ohio, computer firm, to
provide information to people with personal computers.
Beginning this summer, the newspapers and AP will provide news,
business, sports and feature data to CompuServe computers in Columbus.
Any individual with a personal computer will be able to get this
information by dialing special telephone numbers. Users of the system
will pay $5 an hour for the service.
The first of the 11 newspapers to participate will be the Columbus
Dispatch, Fuller said. Each paper will experiment for a six-month
period, providing news, features and advertising material in its
community.
''At The Associated Press, we believe that any information retrieval
system must revolve around the newspaper in the community,'' Fuller
said. ''We strongly believe our member newspapers and radio and
television stations are in the best position to be the successful
information processor in this new technology.
''CompuServe agreed. As a result, the AP member will be the data
provider, advertising gatherer and service marketer in its town.
''The information retrieval system gets the full benefit of the
product our member provides daily and its expertise in marketing the
product in its own community.''
Fuller made the announcement at a news conference at the American
Newspaper Publishers Association Production Management Conference.
Joining him at the conference were: Jack Tarver, publisher of the
Atlanta Constitution and Journal and chairman of the board of
directors of AP; David Bowen and James W. Mangan, vice presidents of
the AP; Robert Johnson, vice president of the Columbus Dispatch; and
Jeffrey Wilkins, president of CompuServe.
The AP is the world's oldest and largest news gathering
organization, serving more than 1,370 newspapers and 3,681 radio and
television stations in the United States.
CompuServe is an established national remote computing services
company, recently acquired by H&R Block Inc. It also provides computer
programming and games through an existing personal computing network
available in more than 250 cities.
The experiment with CompuServe is one of five information retrieval
projects in which the AP presently participates.
The others are in Miami with Knight-Ridder where 150 homes can gain
access to AP information through a TV set; with Mead Data Corp. and
its news library service; with Dow Jones & Co. by providing current
stock quotations for its news retrieval service; and by the AP
Political Databank, a constantly updated events file on the 1980
national and state political campaigns, with the New York Times Co.
ap-ny-06-09 0952EST
- - - - - -
a078 0714 09 Jun 80
PM-Information Retrieval, SUB, a075,40
For Release at 2 p.m. EDT
ATLANTA: SUBs 4th graf, The first...its community, to state that 10
other newspapers not picked.
The first of the 11 newspapers to participate will be the Columbus
Dispatch, Fuller said. Each paper will experiment for a six-month
period, providing news, features and advertising material in its
community. The 10 other newspapers have not been selected.
''At The, 5th graf
ap-ny-06-09 1013EST
***************
!a075 0652 09 Jun 80
PM-Information Retrieval,480
For Release at 2 p.m. EDT
AP Members' Group Announces Information Retrieval Plan
ATLANTA (AP) - Home computer owners will be able to ''dial'' news
stories from The Associated Press and a group of the cooperative's
member newspapers under an information retrieval experiment announced
today by AP President Keith Fuller.
Fuller said that a minimum of 11 AP member newspapers will work with
the AP and CompuServe Inc., a Columbus, Ohio, computer firm, to
provide information to people with personal computers.
Beginning this summer, the newspapers and AP will provide news,
business, sports and feature data to CompuServe computers in Columbus.
Any individual with a personal computer will be able to get this
information by dialing special telephone numbers. Users of the system
will pay $5 an hour for the service.
The first of the 11 newspapers to participate will be the Columbus
Dispatch, Fuller said. Each paper will experiment for a six-month
period, providing news, features and advertising material in its
community.
''At The Associated Press, we believe that any information retrieval
system must revolve around the newspaper in the community,'' Fuller
said. ''We strongly believe our member newspapers and radio and
television stations are in the best position to be the successful
information processor in this new technology.
''CompuServe agreed. As a result, the AP member will be the data
provider, advertising gatherer and service marketer in its town.
''The information retrieval system gets the full benefit of the
product our member provides daily and its expertise in marketing the
product in its own community.''
Fuller made the announcement at a news conference at the American
Newspaper Publishers Association Production Management Conference.
Joining him at the conference were: Jack Tarver, publisher of the
Atlanta Constitution and Journal and chairman of the board of
directors of AP; David Bowen and James W. Mangan, vice presidents of
the AP; Robert Johnson, vice president of the Columbus Dispatch; and
Jeffrey Wilkins, president of CompuServe.
The AP is the world's oldest and largest news gathering
organization, serving more than 1,370 newspapers and 3,681 radio and
television stations in the United States.
CompuServe is an established national remote computing services
company, recently acquired by H&R Block Inc. It also provides computer
programming and games through an existing personal computing network
available in more than 250 cities.
The experiment with CompuServe is one of five information retrieval
projects in which the AP presently participates.
The others are in Miami with Knight-Ridder where 150 homes can gain
access to AP information through a TV set; with Mead Data Corp. and
its news library service; with Dow Jones & Co. by providing current
stock quotations for its news retrieval service; and by the AP
Political Databank, a constantly updated events file on the 1980
national and state political campaigns, with the New York Times Co.
ap-ny-06-09 0952EST
- - - - - -
a078 0714 09 Jun 80
PM-Information Retrieval, SUB, a075,40
For Release at 2 p.m. EDT
ATLANTA: SUBs 4th graf, The first...its community, to state that 10
other newspapers not picked.
The first of the 11 newspapers to participate will be the Columbus
Dispatch, Fuller said. Each paper will experiment for a six-month
period, providing news, features and advertising material in its
community. The 10 other newspapers have not been selected.
''At The, 5th graf
ap-ny-06-09 1013EST
***************
∂09-Jun-80 1609 JMC disk costs
To: EAF at SU-AI, REG at SU-AI, DPB at SU-AI
As I explained to Ralph yesterday, making computer charges strictly
proportional to disk usage is a bad idea in general, and it will
affect me personally very adversely. Namely, I keep a large amount
of file space in my personal account in which I keep letters and
drafts of papers going back a number of years. I have computed the
costs of keeping on disk everything I write by hand, and the cost
is quite moderate, though I don't have the numbers at the moment.
In fact, the AI Lab could afford a policy of keeping indefinitely
one copy of anything written by hand (i.e. not computer generated
data) for anyone remaining in residence. It is part of my concept
of proper computer facilities that this can be done for the whole
department.
Basing charges for computer use on disk use destroys this
concept, and I have always criticized SCIP for doing it, since
they exclude many applications by their policy of charging for
disk usage at a rate that pays their capital cost in four months.
At present SAIL is limited in its aboility to expand its
disk facilities, because Ampex seems to have lost interest in
the model of disk unit they sold, and our experience with the
last two we bought was not very good. Otherwise, we could buy
up to another eight units, and their last price was quite in
keeping with the policy proposed above. The long term solution
is a file computer on the ether net that would keep up with the
most cost-effective technology available.
To mitigate the present disk crunch on SAIL by making
all charges proportional to disk use is a shrewd though bad
idea.
One out is to permit users who are judged to be disk
heavy to buy disk space apart from the part used as a basis
for charges. However, we should promptly get cracking on the
file computer.
∂10-Jun-80 0129 JMC
To: FFL
Frederick Seitz is at Rockefeller University, NYC
∂11-Jun-80 1546 JMC flight
To: FFL
Please put my tickets in the right drawer first folder or give them
to Carolyn. I have changed my flight from 7am to 8:30, which is my
usual flight when going to III. If there is a car reservation, its
time should be correspondingly changed if necessary.
∂11-Jun-80 2351 JMC
To: TCS
Where is Ma these days?
∂12-Jun-80 0018 JMC
To: TOB
Will our meeting with Cannon be rescheduled?
∂12-Jun-80 0732 JMC meeting with Doane
To: FFL
Please tell the Provost's secretary, who called the other day,
that my only possible time seems to be 1:30pm on Wednesday. I have
a meeting the whole day and can only take some time
from the lunch break.
∂13-Jun-80 1048 JMC
To: TOB
Week after next is ok, and actually next week is impossible.
∂13-Jun-80 1253 JMC reg materials request
To: JRA
Peter Midford, 32203 Helm Place, Rancho Palos Verdes, California 90274
wants registration and accomodation info for LISP conf. He wants
student rates.
∂14-Jun-80 2348 JMC
To: pournelle at MIT-MC
Many thanks for your comments, and I mainly agree with them.
Unfortunately, I can't include their substance in the paper,
because I have to deal with the rationing-conservation side
of the crisis rather than the production side which will be
dealt with by representatives of various kinds of industry.
I may be criticized as it is for straying from my appointed
topic, but if it be so, then so be it.
I would like a copy of your paper with Possony if you have
any to spare, because I have also been doing some thinking
along those lines. Thanks also for sending the Rassinier
paper which I'll read.
∂15-Jun-80 1710 JMC
To: FFL
Please pub and print ABELSO.LE1. Enclosures in my out box.
∂17-Jun-80 0825 JMC
To: FFL
Please phone gen Carter at CASBS 321-2052 that I won't eat lunch this week.
∂17-Jun-80 1933 JMC
To: CLT
I'm givingg a tour. Banquet is at 8.
∂18-Jun-80 0931 JMC
To: FFL
Please XS CONSER.XGP[S80,JMC] and xerox five copies by noon if you can.
∂18-Jun-80 2211 JMC Proposal for addition
To: engelmore at USC-ISI
Doyle has been sick in Texas, but we finally have a
a reasonable proposal that will be walked through tomorrow. I
will MAIL it to you tonight, and mail you a paper copy tomorrow.
I hope it isn't too late.
∂18-Jun-80 2239 JMC
To: LES
Yes, please decorate it with PUBisms. The biography is DOYLE[M,CG].
Also put in the budget. I gave you a copy to look at while we tinkered
further with the original which is DOYLE.PRO[S80,JMC]. I can't think of
any milestones which would be unrealistic in the absence of Doyle.
When you finish MAIL it to Engelmore, as I said I would in a preliminary
message. I also promised to U.S. mail a copy tomorrow, and I suppose
you can do that. Come to think of it, use Federal Express or the like.
Please use DOYLE.PRO[S80,JMC] as the final file, so that Chris or
I (perhaps in telephone consultation with Doyle) can make last minute
changes to the version to be shipped.
∂18-Jun-80 2248 JMC
To: HVA
Many thanks for checking out the renewal. It's all up to them gods
in Washington now.
∂18-Jun-80 2253 JMC
To: HVA, FFL
Sorry I goofed on Doane appointment. I was in this hectic three day
meeting and forgot. Perhaps I also forgot to tell Frances where I
was. Frances please check my appointment file a day in advance, because
I make a goof like this once or twice a year. Tomorrow I will also
be away most of the day in Sunnyvale, but I will try to remember to call in.
∂19-Jun-80 2154 JMC Bertram Wolfe
To: minsky at MIT-AI
Bertram Wolfe, a high school classmate of yours, and
now vice president of GE's nuclear energy programs division,
writes, "If you remember me and want to get
together give me a call when you're out this way."
His work phone is (408)925-6900. He is one
of nuclear energy's wittier spokesmen.
∂19-Jun-80 2222 JMC
To: HVA
Thanks for the clipping. It excerpts the paper well except for
one garble. A copy is on your door.
∂19-Jun-80 2223 JMC
To: RWW
Yes. Send it in over your own name with a note that it was referred to
you by me.
∂20-Jun-80 0003 JMC
To: FFL
Please complete the address and PUB MCKAY.LE1. Thanks for the clipping.
∂20-Jun-80 1114 JMC
To: FFL
Meeting with Cannon June 30 ok. Please put it in my calendar.
∂20-Jun-80 1119 JMC proposal and
To: LES
It looks quite good. Almost a pity we don't have to send it.
I noticed the letter from Muka and Rossen. We should respond
favorably asking for a moderate royalty if legal to ask for any.
Naturally, we want to encourage people who take things in
computer form, but these guys may be totally "nocturnal aviation".
∂20-Jun-80 1306 JMC print a paper
To: FFL
Please pub and print two copies of MRHUG[S76,JMC] and mail one to
Professor John Haugeland, Department of Philosophy,
University of California, Berkeley, CA
∂20-Jun-80 1438 JMC
To: engelmore at USC-ISI
For example, a person familiar with air travel knows that when
he reaches an intermediate airport, he will be able to determine
the gate and time of his outgoing airplane, and he knows that
he doesn't need this information in advance. However, a
non English speaking person needs to plan how he is going to
learn this information - by getting someone to write appropriate
names and requests on a card or by finding an interpreter.
A person unfamiliar with air travel
may not even know what he has to learn, but he probably does
know that the air travel system will take care of him if he
has no unusual problems. More generally, whenever an executive
decides that getting a job done right requires his own presence
at the scene of action, he is anticipating problems that require
his own special knowledge, priorities for different goals,
ability and authority.
∂20-Jun-80 1754 JMC
To: BS at SU-AI
If you can have them moved to our 5th floor storage I will be grateful
and will gradually purge them. I believe it doesn't amount to too much.
∂21-Jun-80 1532 JMC trip to Chicago
To: FFL
I need to go to Chicago on Thursday returning Friday night. What
flights are there that get me to Chicago around 5 or 6 pm Thursday
and leave about 6 or 7 on Friday.
∂21-Jun-80 1651 JMC
To: FFL
BLACKB.LE1 is a reply to a letter in my out box.
∂21-Jun-80 1658 JMC letter
To: FFL
Prof Drew McDermott
Yale
Dear Drew:
Can you send me a copy of your February Non-Monotonic Logic II?
∂21-Jun-80 1721 JMC
To: FFL
Please inquire cost of A parking for summer.
∂21-Jun-80 2132 JMC melville
To: "#QUOTES.MSG[1,JMC]"
"So, when on one side you hoist Locke's head, you go over
that way; but now, on the other side, hoist in
Kant's and you come back abain; but in very poor
plight. Thus, some minds for ever keep trimming
boat. Oh, ye foolish! throw all these thunderheads
overboard, and then you will float light and right".
Moby Dick, chapter 73, near the ened
∂21-Jun-80 2156 JMC melville
To: "#QUOTES.MSG[1,JMC]"
"How many, think ye, have likewise fallen into Plato's
honey head, and sweetly perished there?" - Moby Dick ch. 78 end
∂22-Jun-80 1919 JMC possible faculty candidate
To: EAF at SU-AI
I have been asked to evaluate Raymond Reiter, who is being considered
for tenure at the University of British Columbia. He has worked in
data bases, theorem proving, natural language, default reasoning and
non-monotonic reasoning - this last being the common interest that led
Paul Gilmore, UBC department chairman, to ask me to evaluate him.
My preliminary scan of his papers leaves me so enthusiastic that I
think we should consider him when we have an opening here and possibly
as a target of opportunity. Probably there is no enormous rush, and
we might consider having him as a visitor.
His main strength is in combining creativity in heuristics with
an equally strong ability in using mathematical logic. Each of his
papers clearly states an important problem and decisively solves it.
∂22-Jun-80 2259 JMC
To: FFL
∂22-Jun-80 1134 ZM NSF FINAL REPORT
To: JMC, HVA
THE REPORT IS READY. ZOHAR
∂23-Jun-80 1242 JMC
To: pournelle at MIT-MC
A phenomenon I call survival of the unfittest has certainly
occurred in NASA. I often wonder whether in organizations like NASA
and also in the nuclear power industry, it wouldn't be better if there
were a few years of almost zero budget to drive out the losers leaving
only a few fanatics followed by a big expansion rather than a steady
budget.
Our meeting was quite good. According to Tom Connolly, a
nuclear engineer here, all sorts of people who usually come in to
give their talks and then disappear stayed for the whole three days.
The talks showed varying degrees of preparedness, and none of them
was really able to imagine the atmosphere that would actually prevail
if an oil cutoff stimulated the country into taking the attitude it
took during World War II. A slogan: The energy crisis is the moral
equivalent of war, and Carter is the moral equivalent of Chamberlain.
John
∂23-Jun-80 1442 JMC
To: csd.lenat at SU-SCORE
I can participate, and let me recommend Reiter very
strongly. He gets precise mathematical results that are
reasonably relevant to AI.
∂23-Jun-80 1504 JMC
To: FFL
The 8:40 and the 6:45 will be fine; please make the reservations. Just
for information, is there a later morning flight from San Jose in case
I need to change?
∂23-Jun-80 1535 JMC
To: FFL
I never look at page 6 except when looking up past events. Page 7 (it
will be page 8 next year) is the page for the future.
∂23-Jun-80 1736 JMC Carter
To: pourne at MIT-MC
Two news items today:
1. At summit meeting in Venice, a unanimous communique calls
for the development of several forms of energy specifically mentioning
nuclear electricity among others.
2. The Democratic Party platform committee unanimously (158-0)
compromises the differences between the Carter and Kennedy forces and
calls for the eventual phaseout of nuclear power and no new licenses
until something unspecified is done about learning the lessons of
Three Mile Island.
∂23-Jun-80 1914 JMC
To: ROY
Please phone me 857-0672 Tuesday morning.
∂23-Jun-80 2339 JMC
To: TOB
No immediate action required.
∂24-Jun-80 1056 JMC
To: FFL
Thanks on Human Inference.
∂24-Jun-80 1057 JMC
To: CLT
Yes on recital.
∂24-Jun-80 1528 JMC
To: bmoore at SRI-KL
Doug Lenat has invited me to a panel on non-monotonic logic. If that's
not it, I know nothing.
∂24-Jun-80 1940 JMC progress report
To: FFL, RWW
If it isn't out yet, Richard should tell Fran how to get it, and
she should have it, together with the form on my desk tomorrow
for signature. I received a postcard from NSF today saying that
my Basic AI Research renewal is held up waiting for 3 reports -
one of which is Zohar's (just processed), one is Richard's (I
presume). I suppose the third is Dialnet, which I vaguely remember
went out. Is that right, Fran?
∂24-Jun-80 2230 JMC letter to Harnad
To: FFL
I have revised it, so please print HARNAD.XGP[LET,JMC] and replace
the old version in my out box with the two reprints.
∂24-Jun-80 2356 JMC
To: FFL
Please check with Hersche that my summer appointment is in order.
∂25-Jun-80 0059 JMC
To: LLW
I have no contacts worthy of the name in semiconductor companies,
and from my cursory reading of the trade press, I get an offhand
impression that you have gone out on a limb. The person most likely to
know or know who knows is Forest Baskett. I could pass this on to him,
but I suppose you can do it yourself. He is FB on this machine.
∂25-Jun-80 0101 JMC
To: bmoore at SRI-KL
Why don't you pursue the sessioneers a bit further?
∂25-Jun-80 0135 JMC conser.xgp[s80,jmc]
To: FFL
Please print it again and make ten copies of this version to take to Chicago.
∂25-Jun-80 0953 JMC
To: FFL
Sorry. I need to sign the new version.
∂25-Jun-80 1422 JMC NSF report
To: DCL
Lack of the final report from your NSF grant is now the
only thing holding up consideration of my NSF renewal. When can
I expect it?
∂25-Jun-80 1536 JMC
To: FFL
MORAVE.LE1
∂25-Jun-80 1620 JMC
To: FFL
The following is the address for MORAVE.RE1:
address letters to: TO WHOM IT MAY CONCERN and mail to The Robotics Institute,
Science Hall, Carnegie-Mellon University, Pittsburgh, PA 15213.
Thank your very much for your help.
Beverly Howell
∂25-Jun-80 1645 JMC
To: DCL
Most likely we can improvise assuming that there are some reports and
theses. If we are awaiting the report production mill that is too long,
so it would be well to specially xerox the necessary documents. A
fortiori, we can't wait for Karp or anyone else to complete a thesis.
What extension are you on now?
∂25-Jun-80 1732 JMC
To: BS at SU-AI
I took a ream of xerox paper from 3rd floor to use for research notes.
∂25-Jun-80 1758 JMC Harold McIntosh
To: JRA
Do you know if he is planning to take part? Since he is in
Mexico (permanently), he may not know of conference.
As he organized first LISP conference in 196x, he should at
least know of this one.
∂25-Jun-80 1812 JMC disks
To: EAF at SU-AI
CC: REG at SU-AI, FB at SU-AI
CC: GIO at SU-AI
The new IBM disk announcement of 2.52 gigabyte disk units suggests
the following idea:
1. Check that Kahn's idea of re-equipment would look favorably on
a large disk system - say an initial 10 gigabytes expandable to the full
40 on the Ethernet here.
2. If so, get in an order promptly with the intent of leasing
until ARPA money for purchase of either the IBM system or a cheap
imitation comes along.
3. Discuss the idea with IBM of a file server with all sorts of
computer science goodies that Ralph and I and Forest and Gio and others
can think of.
4. Explore whether a new 4331 could be used as the file machine
requiring only connection to the Ethernet.
5. If this isn't suitable, ask if IBM might have something else
that is that could be included in joint study, e.g. 801.
6. If IBM fails us, consider a Foonly.
Getting a place on the order list is worthwhile and doesn't cost
anything, since the order can be cancelled if we can't work out the
financing. The IBM performance and price of $40 per megabyte of on-line
storage is quite attractive. The goal would be to save space and money by
having all the machines use the big disk as virtual disk, but even if the
user had to do explicit file transfers for a while, the system would be a
big improvement over buying more 200 or 300 megabyte disks.
∂25-Jun-80 1826 JMC formalization problem
To: hayes at SRI-KL, bmoore at SRI-KL
1. How would you say that the density of a sample of gas depends only
on its temperature and pressure? My present candidate:
∀x.(gas-sample(x) ⊃ ∃f ∀s.(isstate(x,s) ⊃ density(s)=f(pressure(s),
temperature(s)))
2. How could it be expressed as a default? It seems that a common default
assumption is that a quantity depends only on the other quantities it is
known to depend on.
Just in case you don't have the characters for the above formula, it
inflates to
forall x.(gas-sample(x) implies exists f forall s.(isstate(x,s)
implies density(s)=f(pressure(s), temperature(s)))
∂26-Jun-80 0138 JMC autologout
To: ME
I get the impression that my Imlac gets auto-logged out when there
is no competition for job slots, and it doesn't compete for any other
resource. It's not a major matter, but if it's no trouble, maybe you
could fix it in the next system.
∂26-Jun-80 0659 JMC
To: FFL
Come to think of it, 2 copies of Karp thesis are needed for NSF report.
∂28-Jun-80 1654 JMC arpa report
To: LGC, JK
I need half a page on what each of you did up to now and what you expect
to do in the next year. I need it by Wednesday. It should be written in
the third person. arpa[s80,jmc] is a sample though perhaps too long.
∂28-Jun-80 1849 JMC thanks for documents
To: DEK
Thanks for the copy of the 1959 memo and even more for the
copy of Strachey's letter. Had I read his paper carefully,
I would not have jumped to the conclusion that his idea was
similar to mine. My confusion at that time may be related to
the fact (if it is a fact) that the word "multi-programming"
was even then in use to describe sharing of memory by programs
written to do so. Ted Codd was then writing a batch operating
system for Stretch that was to fit programs together according
to their needs for memory, computing and I/O so as to keep the
whole computer nicely busy. I suppose it made use of the
fact that Stretch had boundary registers, but the idea must
still have been rather vague, because the Stretch hardware
could not prevent random programs from initiating I/O into
other areas of memory. Another possibility is that multi-programmers
got one concession from the hardware designers but couldn't get
another.
∂28-Jun-80 1927 JMC
To: ROY
The Imlac again needs readjustment. Troubles similar to before.
∂28-Jun-80 2213 JMC
To: FFL
Copies of conser.xgp to Todorovich, Cohen, Teller Kursonoglu.
∂28-Jun-80 2303 JMC
To: FFL
That was Kursunoglu.
∂29-Jun-80 1024 JMC
To: ROY
Imlac recovered; it must have been the heat.
∂29-Jun-80 1837 JMC
To: JK
Do you want a share of an office in MJH in the Fall?
∂30-Jun-80 1441 JMC for Dave Allen
To: FFL
Address and phone of se2 is in my PHON file. Please send him a copy
of my CONSER paper, and tell him that the proceedings will be published,
but he can get a list of papers from SE2 in NYC.
∂30-Jun-80 1446 JMC
To: HVA
CC: LES
You moved my additional month and 10 percent to the main ARPA didn't you?
∂30-Jun-80 1500 JMC news stories
To: FFL
Please send copies of CHICAG.NS[S80,JMC] to Todorovich, Teller, Karl Cohen,
and Charles Yulish.
∂30-Jun-80 1548 JMC
To: FFL
Please pub and print HURWIT.LE1.
∂30-Jun-80 1551 JMC
To: DPB at SU-AI
I was in Chicago Thurs and Fri. I look for you when I get in tomorrow.
∂30-Jun-80 1652 JMC
To: DPB at SU-AI
So's mine. Late afternoon most probable, but I'll phone.